Lemma 21.1
Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 21 Vektorraum/Basisaustauschlemma/Fakt