Setiap domain Euclidean adalah domain faktorisasi unik (UFD), walau sabujurannya kada bujur.