Endlichdimensionaler Vektorraum/Lineare Abbildung/Zwei Haupträume/Fakt/Beweis

Beweis

Das charakteristische Polynom von sei

wobei in weder noch eine Nullstelle sei. Nach Fakt, angewendet auf , ist

Wegen folgt daraus sofort