Hermitian Operators have Real Eigenvalues and Orthogonal Eigenvectors