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.