Euklidische Ebene/Eigentliche Isometrie/Drehung/Fakt/Name/Inhalt

Jede eigentliche, lineare Isometrie

$\varphi \colon \mathbb {R} ^{2}\longrightarrow \mathbb {R} ^{2}$

ist eine Drehung.