Sea formula_1 un conjunto con formula_12 elementos.