8.GM.A.1: Verify experimentally the congruence properties of rigid transformations.