Kurs:Lineare Algebra/Ring/Elementare Eigenschaften/Fakt/Faktreferenznummer

Lemma 3.5 (Lineare Algebra (Osnabrück 2017-2018))