Endomorphism/Eigenvalue/Invariant hyperplane/Fact
              < Endomorphism < Eigenvalue < Invariant hyperplane 
 
            
          Let denote a field, and let be a -dimensional vector space. Let
be a linear mapping, and let be an eigenvalue of .
 Then there exists a
of dimension .