Sea formula_18 un dominio íntegro (conmutativo y unitario).