Farkas' lemma

Farkas's lemma is a result in mathematics stating that a vector is either in a given convex cone or that there exists a (hyper)plane separating the vector from the cone—there are no other possibilities. It was originally proven by the Hungarian mathematician Gyula Farkas. It is used amongst other things in the proof of the Karush–Kuhn–Tucker theorem in nonlinear programming.