Se verifica que cuando formula_3 es un dominio de integridad (o cuando sea un cuerpo), el anillo formula_75 es un anillo con división.