Ogni domini euclideu al è un domini di fatorizazion unic (UFD), ancje se il contrari nol è vêr.