Theorem: For every Hermitian operator, there exists at least one basis consisting of its orthonormal eigen vectors. It is diagonal in this basis and has its eigenvalues as its diagonal entries. The theory is apparently making an assumption that every Hermitian operator must have eigen values/vectors. Am I missing something here? Should ALL hermitian operators have eigen values/vectors?