A classical Linear Algebra exercise says: prove that _n_ eigenvectorsof an endomorphism of some linear space with _n_ distinct eigenvalues are linear independent. Does this hold for modules over division rings?