Rigid Motion Transformations and Congruence