Euklidischer Vektorraum/R^3/Eigentliche Isometrie/Darstellung/Fakt/Name/Inhalt

Es sei

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

eine eigentliche Isometrie. Dann ist ${}\varphi$ eine Drehung um eine feste Achse.