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
die gewünschten Eigenschaften.