text: Для любого элемента g ∈ G {\displaystyle g\in G} имеем σ g ( f − λ id ) = ( f − λ id ) σ g {\displaystyle \sigma _{g}(f-\lambda \operatorname {id} )=(f-\lambda \operatorname {id} )\sigma _{g}} , причём для собственного вектора ( f − λ id ) ( x ) = 0 , {\displaystyle (f-\lambda \operatorname {id} )(x)=0,} следовательно f − λ id {\displaystyle f-\lambda \operatorname {id} } по первой части леммы является нулевым гомоморфизмом, а значит, f {\displaystyle f} является умножением на некоторое λ {\displaystyle \lambda } .