Gaußsche Zahlen/Norm ist euklidische Funktion/Fakt

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

Zum Beweis, Alternativen Beweis erstellen