2.2) Yeterlilik açık.
Gereklilik: Hipotez doğru olsun. O hâlde, biraz oynadıktan sonra, T(a−b)=i(a−b) alınır. Buna göre, T, i özdeğerine ve buna tekâbül eden (a−b) özvektörüne sâhiptir. T özekli olduğundan, özdeğerleri reeldir. Dolayısıyla, (a−b)=0 olmalıdır: a=b.