Entonces formula_10 dado formula_2 no puede ser mayor que "n" y formula_12 no puede ser menor que 1; por lo tanto las restricciones se satisfacen siempre que formula_13 Para formula_14formula_15 se satisfacen las restricciones.