Lemma 2.13
Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 2 Euklidische Bereiche/Multiplikative euklidische Funktionen/Primkriterium/Fakt