Con los conjuntos formula_1 y formula_1 podemos crear el conjunto formula_30.