Zorn's lemma
Aus dem Lemma von Zorn folgt nun, dass formula_121 ein maximales Element hat. Die maximalen Elemente von formula_121 sind nun aber genau die maximalen linear unabhängigen Teilmengen von formula_1, also die Basen von formula_1.