 If "m"("T"0) = 0, then "T" = 0 and the construction stops without producing any eigenvector "en".Suppose that orthonormal eigenvectors of "T" have been found.Then is invariant under "T", and by self-adjointness, the orthogonal complement "Hn" of "E""n" is an invariant subspace of "T".