Vektorraum/Basis und minimales Erzeugendensystem/Aufgabe

Es sei ein Vektorraum und

eine Familie von Vektoren in . Zeige, dass die Familie genau dann eine Basis von bildet, wenn es sich um ein minimales Erzeugendensystem handelt

(d.h. sobald man einen Vektor weglässt, liegt kein Erzeugendensystem mehr vor).