Eigenvalues of Hermitian Operator have Orthogonal Eigenspaces

Theorem
The eigenvectors of a Hermitian operator have eigenspaces which are orthogonal.

Proof
Directly follows from Hermitian Operator is Normal and Eigenvalues of Normal Operator have Orthogonal Eigenspaces.