A central result in the theory of integer optimization states that a system of linear diophantine equations Ax = b has no integral solution if and only if there exists a vector in the dual lattice, yTA integral such that yT b is fractional. We extend this result to systems that both have...