Satz 20.12
Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 20 Vektorraum/Charakterisierungen von Basis/Maximal/Minimal/Fakt