Los dominios euclídeos son DFUs.