Sei V {\displaystyle {}V} ein endlichdimensionaler K {\displaystyle {}{\mathbb {K} }} -Vektorraum und sei
eine lineare Isometrie. Dann besitzt jeder Eigenwert von φ {\displaystyle {}\varphi } den Betrag 1 {\displaystyle {}1} .