Sea formula_5 un formula_1-conjunto.