Sea pues un conjunto formula_1 y supongamos que formula_15.