Lemma 15.7
Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 15 Produktring/Einheitengruppe/Fakt