[math] \newcommand{\mathds}{\mathbb}[/math]

Prove that the isometries in [math]2[/math] dimensions are either rotations, or symmetries, as to complete the proof of Theorem 1.40.