Gomory's theorem