Diskreter Bewertungsring/Euklidischer Bereich/Aufgabe

Zeige, dass ein diskreter Bewertungsring mit der Ordnungsfunktion ein euklidischer Bereich

ist.