Lemma 2.14
Kurs:Zahlentheorie (Osnabrück 2008)/Vorlesung 2 Euklidische Bereiche/Multiplikative euklidische Funktionen/Primkriterium/Fakt