Spectral theorem

If $A:H\mapsto H$ is a Self-Adjoint Operator, and $H$ is a finite-dimensional complex Inner Product space, then $\exists \{{\psi }_i{\}}_i$ as a orthonormal basis of eigenvectors of $A$.