Operator Diagonalizable iff Basis of Eigenvectors

Theorem
Let $H$ be a Hilbert space.

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

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