7.1.6 Triangle Congruence and Rigid Transformations