A valid inequality for an integer polyhedron that separates the polyhedron from a given point outside it.