Intersection cuts were introduced by Balas and the corner polyhedron by Gomory.
It is a classical result that intersection cuts are valid for the corner polyhedron. In this
paper we show that, conversely every nontrivial facet-defining inequality for the corner
polyhedron is an intersection cut.