Lemma 21.6
Kurs:Algebraische Kurven (Osnabrück 2012)/Vorlesung 21 Kommutative Ringtheorie/f nicht nilpotent/Existenz von Primidealen/Fakt