 Since formula_25 a commuting set, we have all the eigenspaces are invariant.Since the operators restricted to the eigenspaces (which are finite-dimensional) are automatically all compact, we can apply Theorem 1 to each of these, and find orthonormal bases "Q"σ for the formula_48.Since "T"0 is symmetric, we have that

is a (countable) orthonormal set.