Como en las otras ocasiones, este conjunto es independiente del conjunto formula_2: