Kurs:Zahlentheorie (Osnabrück 2016-2017)/Kommutative Ringtheorie/f nicht nilpotent/Existenz von Primidealen/Fakt/Faktreferenznummer