A theorem in nonlinear programming which states that if a regularity condition holds and and the functions areconvex, then a solution which satisfies the conditions for a Vector of multipliers is aGlobal Minimum. The Kuhn-Tucker theorem is a generalization of Lagrange Multipliers. Farkas's Lemma is key in proving this theorem.