Azıcık daha genel bir şeklini:
V, F cismi üzerinde 1-boyutlu bir vektör uzayı ve T:V→V lineer bir dönüşüm olsun.
O zaman ∀v∈V için, Tv=tv olacak şekilde (v ye bağlı olmayan tek) bir t∈F vardır.
önermesinin doğruluğunu gösterelim.
(Aynen yorumdaki gibi gösterilebilir ama biraz "havalı" bir çözüm olsun)
(V, 1-boyutlu olduğu için) T nin karakteristik denklemi 1. derece olur ve bu nedenle, F cisminde tek bir kökü vardır. Bu kök, T nin biricik özdeğeri (eigenvalue) olur. Bu özdeğere t diyelim
Öyleyse, Tv0=tv0 olacak şekilde (F≠Z2 ise tek DEĞİL) 0≠v0∈V vektörü vardır.
V, 1 boyutlu olduğundan, {v0}, V nin bir bazıdır.
∀v∈V için v=av0 olacak şekilde (tek) bir a∈F vardır.
Bu nedenle, Tv=T(av0)=aT(v0)=a(tv0)=t(av0)=tv olur.