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.$