Vektorraum/Endlichdimensional/Unterraum/Direktes Komplement/Fakt/Beweis

Beweis

Es sei eine Basis von . Diese können wir nach Fakt zu einer Basis von ergänzen. Dann erfüllt

die gewünschten Eigenschaften.