Puesto que si formula_3 y si formula_4, podemos escribir