R^3/Endomorphism/Has eigenvector/Exercise