Kurs:Elemente der Algebra (Osnabrück 2015)/Lineare Algebra/Variablenmenge/Lineares Gleichungssystem/Lösungsraum ist Vektorraum/Fakt/Faktreferenznummer