Endomorphism/Eigenvectors/Linearly independent/Fact/Proof