Acc7.1 Rigid Transformations and Congruence