PPT Slide
About the proof: Show closure by showing that the composition of two arbitrary isometries is an isometry.
Establish that there is an identity (it’s the transformation for which every point is a fixed point) is an isometry (it is because every point is fixed).+