Dado un conjunto formula_5, entonces formula_11.