The Wikipedia article on spectral decomposition, see here
https://en.wikipedia.org/wiki/Self-adjoint_operator
says the following:
A self-adjoint operator A on $H$ has pure point spectrum if and only if $H$ has an orthonormal basis ${e_i}_{i \in I}$ consisting of eigenvectors for A.
Why is this true? What is a reference for a proof? (Also to be sure, I guess that pure point spectrum means that the spectrum of the operator is equal to its eigenvalues.)