Целое решение ЛП

[Solunac]

Мне нужно знать утверждение теоремы в которой говорится (определяет условия) - когда линейнaя программа имеет целочисленное решение.

Я воспринял это теорема Veinot-a, но я не нашел eе под этим именем. Буду признателен, если бы вы могли направить меня в книгах или что-то другое.

Спасибо