Lemma 2.12
Kurs:Zahlentheorie (Osnabrück 2016-2017)/Vorlesung 2 Gaußsche Zahlen/Norm ist euklidische Funktion/Fakt