Recordemos que llamamos dominio de factorización única a un dominio donde cada elemento no nulo que no es una unidad puede escribirse como un producto de irreducibles, donde los irreducibles y las veces que aparecen son únicas, excepto por asociados.