Lemma 3.9
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 3 Kommutative Ringtheorie/f nicht nilpotent/Existenz von Primidealen/Fakt