Satz 23.3 Kurs:Kommutative Algebra/Teil I/Vorlesung 23
Kommutative Ringtheorie/Normal/Nenneraufnahme ist normal/Fakt