En el ejemplo B de la sección de Contraejemplos, se muestra que formula_18 es un dominio donde hay mcd de dos elementos, pero no mcm, por lo que ese dominio no puede ser un DFU,