Sea formula_7 un dominio cualquiera.