Es sei V {\displaystyle {}V} ein euklidischer Vektorraum und sei
eine lineare Isometrie.
Dann besitzt jeder Eigenwert von φ {\displaystyle {}\varphi } den Betrag 1 {\displaystyle {}1} .
