Entonces, para todo formula_2 se tiene que