8.1 Rigid Transformations and Congruence