Theorem 4.8: A reflection is an isometry.

 

We present two proofs of this theorem: a synthetic and an analytic proof.