I understand that Hermitian matrices has real eigenvalues.
Just to hit the point home, I have the following question.
Does every Hermitian matrix have eigenvalues? Since the proof assumes that the eigenvalue exists, the proof does not imply that every Hermitian matrix must have some eigenvalues. It just says that if it has an eigenvalue, then the eigenvalue must be real.