Es sei λ{\displaystyle {}\lambda } ein Eigenwert von φ{\displaystyle {}\varphi } mit
Es sei v∈V{\displaystyle {}v\in V} ein Eigenvektor zu λ{\displaystyle {}\lambda }. Dann ist
und Division durch ‖v‖{\displaystyle {}\Vert {v}\Vert } liefert die Behauptung.