Lemma 22.6 Kurs:Kommutative Algebra/Teil I/Vorlesung 22
Kommutative Ringtheorie/Ganzheit/Ganzes Element/Charakterisierung/Fakt