Gaußsche Zahlen/Norm ist euklidische Funktion/Fakt

Der Ring der Gaußschen Zahlen ist mit der Normfunktion ein euklidischer Bereich.