Lemma 6.15
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 6 Kommutative Ringtheorie/Normal/Nenneraufnahme ist normal/Fakt