Sea formula_1 un dominio de integridad.