Lemma 16.13
Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 16 Kommutative Ringtheorie/Primideal/Charakterisierung mit Restklassenring/Fakt