Así, para todo conjunto formula_7, formula_71.