Lineare Abbildung/Verschiedene Eigenwerte/Diagonalisierbar/Fakt/Beweis

Beweis

Aufgrund von Fakt gibt es ${}n$ linear unabhängige Eigenvektoren. Diese bilden nach Fakt eine Basis.

Zur bewiesenen Aussage