Es sei K {\displaystyle {}K} ein Körper und es sei V {\displaystyle {}V} ein endlichdimensionaler K {\displaystyle {}K} -Vektorraum. Es sei
eine nilpotente lineare Abbildung. Es sei
und s {\displaystyle {}s} minimal mit dieser Eigenschaft.
Dann besteht zwischen den Untervektorräumen
die Beziehung
und die Inklusionen
sind echt für i < s {\displaystyle {}i<s} .