Según lo anterior, el conjuto formula_1 es el conjunto formula_3.