Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Vektorraum/Basisaustauschlemma/Fakt/Faktreferenznummer