(1). Let v ∈ V {\displaystyle {}v\in V} be an eigenvector of φ {\displaystyle {}\varphi } for the eigenvalue a {\displaystyle {}a} . Set
Then
The reverse statement holds in the same way. (2) and (3) follow directly from (1).