Endomorphism/Eigenvectors/Linearly independent/Fact