Es sei v 1 , … , v k {\displaystyle {}v_{1},\ldots ,v_{k}} eine Basis von U {\displaystyle {}U} . Diese können wir nach Fakt zu einer Basis v 1 , … , v k , v k + 1 , … , v n {\displaystyle {}v_{1},\ldots ,v_{k},v_{k+1},\ldots ,v_{n}} von V {\displaystyle {}V} ergänzen. Dann erfüllt
eine
Basis
von 
. Diese können wir nach
Fakt
zu einer Basis 
von 
ergänzen. Dann erfüllt
