Si no es así, es añadida una nueva restricción que corta la solución no entera pero no corta ningún otro punto de la región factible.