Satz 21.4
Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 21 Vektorraum/Endlich erzeugt/Länge von jeder Basis/Fakt
