1.7.3 Isometries Part 1

This file is used with Part 1 of Activity 1.7.3 Properties of Isometries