How do you prove that if a vector space is N-dimensional, an basis of N vectors can be constructed from the eigenvectors of a Hermitian operator?