Rigid Transformations and Congruence