Pero formula_24, y hemos partido de la suposición de que formula_15, luego es formula_26.