son el mismo conjunto, lo que implica que formula_42 y que formula_43.