Symmetric Real Matrix Eigenvalues

Result

Every symmetric matrix $A \in \R ^{n \times n}$ has real eigenvalues. Moreover, there exists a set of orthonormal eigenvectors corresponding to these eigenvalues.