Prove facts about eigenspaces and eigenvalues