Dual pairs of Linear Programs are in ``strong duality'' if both are possible. The theorem wasfirst conceived by John von Neumann. The first written proof was an Air Force report byGeorge Dantzig, but credit is usually given to Tucker, Kuhn, and Gale.