7A.42: Verify experimentally the properties of rigid motions (rotations, reflections, and translations): lines are taken to lines, and line segments are taken to line segments of the same length; angles are taken to angles of the same measure; and parallel lines are taken to parallel lines.