Lemma 18.2 Kurs:Kommutative Algebra/Teil I/Vorlesung 18
Integritätsbereich/Primelement/Nenneraufnahme/Rückübersetzung/Fakt
