The Kuhn-Tucker theorem is the foundation of nonlinear programming. Requiring a constraint qualification, it states necessary conditions for local solutions of nonlinear programs. Even more, these (Karush-)Kuhn-Tucker conditions are the basis of many efficient nonlinear programming algorithms.