Kurs:Körper- und Galoistheorie/Determinante/Null, Linear abhängig und Rangeigenschaft/Fakt/Faktreferenznummer

Satz 16.11 (Lineare Algebra (Osnabrück 2017-2018))