Lemma 14.9
Kurs:Elemente der Algebra (Osnabrück 2015)/Vorlesung 14 Kommutative Ringtheorie/Restklassenring/Einheit/Fakt