 Let "Tn" denote the restriction of "T" to "Hn".If "m"("Tn") = 0, then "Tn" = 0, and the construction stops.Otherwise, by the "claim" applied to "Tn", there is a norm one eigenvector "en" of "T" in "Hn", with corresponding non-zero eigenvalue λ"n" = .