Entonces, para todo formula_1 en formula_2 se tiene que