Sin embargo, el anillo formula_3 es un dominio integro si formula_1 lo es, luego, dado el caso, se puede construir el cuerpo de cocientes de formula_3 (i.e.