したがって、"a" が全ユニモジュラ行列で "b" が整数ベクトルであるなら、実行可能領域(例えば、formula_5)のすべての極値点は整数であり、したがってその実行可能領域は整数多面体となる。