Sea formula_42 un dominio, entonces