设H为有限维Hilbert空间，A∈BL(H)。设P1，P2，…，Pm为H的非零正交投影使得
PiPj=0，i≠j，(28)
I=P1+P2+…+Pm(29)
k1，k2，…，km为m个两两不等的纯量，使得
A=k1P1+k2P2+…+kmPm(30)
求证：k1，k2，…，kmA不同特征值的全体，且P1，P2，…，Pm为到相应特征空间的正交投影