 More specifically, the orthogonal complement of the kernel of "T" admits, either a finite orthonormal basis of eigenvectors of "T", or a countably infinite orthonormal basis {"en"} of eigenvectors of "T", with corresponding eigenvalues , such that .In other words, a compact self-adjoint operator can be unitarily diagonalized.This is the spectral theorem.