Satz 22.10
Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 22 Kommutative Ringtheorie/Normal/Nenneraufnahme ist normal/Fakt