Eigenvalues of Self-Adjoint Operator have Orthogonal Eigenspaces