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