Lemma 1.5. Assuming that:

$M$ Hermitian
$λ_{i} \neq λ_{j}$ are eigenvalues of $M$ with eigenvectors $φ_{i}$ , $φ_{j}$

Then

⟨ φ_{i}, φ_{j} ⟩ = 0