Wenn E = {a,b,c… n} ein Erzeugendensystem ist, lässt sich jeder Vektor des Vektorraums schreiben als
v = xa + yb + … +zn.
Nun ist E' eine Obermenge von E. Deshalb E' = {a,b,c… n, A,B,…}
Sei v ein beliebiger Vektor des Vektorraums.
Zu zeigen ist, dass sich v auch als Linearkomb. von Vektoren aus E' schreiben lässt.
Dazu nimmt man nun z.B.
v = xa + yb + … +zn + 0*A + 0*B + 0*C
Es gibt also sicher eine Linearkombination für v. qed.