Da V endlich.dim und U und U ' Unterlräume von V sind, sind sie auch endlich dimensional
und besitzen somit je eine Basis, bei der dieAnzahl der Basisvektoren durch die Dim von U bzw. U '
bestimmt ist.
Sei x1 , ... , bis xr eine Bais von U
Diese sind dann auch lin. unabh. in U + U '
und läßt sich somit zu einer Basis von U + U ' ergänzen.
x1 , ... , xr, xr+1 , ..... x r+r'
Wegen U ∩ U ' = 0 ist dim (U ∩ U ') = r+r ' und die ergänzten
Basisvektoren sind aus U '
Diese Basis des Unterraumes U + U 'von V lässt sich dann zu einer Basis von V ergänzen.