Symmetric matrices and the spectral theorem | Zoonk