Es sei

${\displaystyle f\colon \mathbb {R} ^{n}\longrightarrow \mathbb {R} ^{n}}$

eine eigentliche Isometrie. Es sei vorausgesetzt, dass ${\displaystyle {}f}$ trigonalisierbar ist. Zeige, dass dann ${\displaystyle {}f}$ sogar diagonalisierbar