Qualsiasi dominio euclideo l’è un dominio de fatorixasión unica (UFD); anca se l’inverso no el xe vero.