Sei
ein trigonalisierbarer K {\displaystyle {}K} -Endomorphismus auf dem endlichdimensionalen K {\displaystyle {}K} -Vektorraum V {\displaystyle {}V} .
Dann ist V {\displaystyle {}V} die direkte Summe der Haupträume.