Esto es así porque, como formula_65 es el valor anterior del vector de variables básicas en la posición formula_63, es decir formula_67, y por eso será siempre no-negativo, entonces, si formula_68, la condición formula_51 se cumplirá en todo caso para ese formula_58 particular, de manera que la condición en dicha posición formula_63 no restringe el valor de formula_48.