programming problem to an algebraically equivalent problem with special structure, we extend Cabot's theorem on the Fourier-Motzkin elimination method to arbi- trary integer programs with n or n+ 1 ...