Sea formula_5 un formula_1-conjunto finito.