Satz 18.13
Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 18 Zahlbereiche/Primideale ungleich null sind maximal/Fakt