 Let "T" be a compact operator on a Hilbert space "H".A finite (possibly empty) or countably infinite orthonormal sequence {"en"} of eigenvectors of "T", with corresponding non-zero eigenvalues, is constructed by induction as follows.Let "H"0 = "H" and "T"0 = "T".