Lemma 11.9 Kurs:Kommutative Algebra/Teil I/Vorlesung 11
Kommutative Ringtheorie/f nicht nilpotent/Existenz von Primidealen/Fakt
