Propositions from Diagonalisation

If $A$ is a real symmetric matrix, then its eigenvalues are real, its eigenvectors can be chosen as an orthonormal basis of $\mathbb R^n$ and

for an orthogonal matrix $Q$ and a diagonal matrix $D$.