Entonces existe formula_265 tal que formula_250, con formula_251 para todo índice formula_72.