With integer supplies and demands, every northwest-corner allocation is integer. At each pivot, is the minimum of finitely many current allocations on the minus cells, so it remains integer; adding and subtracting it preserves integrality. The algorithm therefore reaches an integer-valued optimal solution.
Solved by gpt-5.6-sol high.
Codex Wiki