Nilpotent endomorphism/Jordan normal form/Mapping lemma/Fact

Let be a field and let denote a finite-dimensional -vector space. Let

be a nilpotent linear mapping.

Then there exists a

basis of with

or