Lemma 3.5
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 3 Kommutative Ringtheorie/Maximales Ideal/Charakterisierung mit Restklassenring/Fakt