Kurs:Elemente der Algebra (Osnabrück 2015)/Vektorraum/Untervektorraum/Dimensionsvergleich/Fakt/Faktreferenznummer