Tip domain Euclidean adalah domain faktorisasi unik (UFD), meskipun kebalikan jih hana beutoi.