Operator Diagonalizable iff Basis of Eigenvectors

Theorem
Let $\HH$ be a Hilbert space.

Let $A: \HH \to \HH$ be a linear operator on $\HH$.

Then $A$ is diagonalizable there exists a basis $E$ of $\HH$, consisting of eigenvectors for $A$.