Sei ${\displaystyle {}V}$ ein euklidischer Vektorraum und sei

${\displaystyle \varphi \colon V\longrightarrow V}$

eine lineare Isometrie.

Dann besitzt jeder Eigenwert von ${\displaystyle {}\varphi }$ den Betrag ${\displaystyle {}1}$.