Entfernt man aus einer Basis von V nacheinander Basisvektoren, dann bekommt man Unervektorräume
Vdim(V) ⊃ Vdim(V)-1 ⊃ Vdim(V)-2 ⊃ .... V0
Somit ist n ≥ dim(V).
Ist n > dim(V), dann gibt es in V0 ⊂ V1 ⊂ . . . ⊂ Vn zwei Vektorräume Vi , Vi+1 mit dim(Vi) = dim(Vi+1). Wegen Vi ⊂ Vi+1 muss dann Vi = Vi+1 sein. Also kann n > dim(V) nicht sein.