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 there exists a basis $E$ of $H$, consisting of eigenvectors for $A$.