Sea formula_333 un subconjunto de formula_1.