Sea formula_5 una partición del conjunto formula_6.