prove hermitian matrix only has real eigenvalues