Uniquely Euclidean domain: Difference between revisions