Spectral Theorem for Hermitian Matrices