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