Satz 9.1
Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 9 Gaußsche Zahlen/Primelement/Charakterisierungen/Fakt