Rigorous proofs were first published in 1948 by Albert W. Tucker and his group.
ابتدا در سال ۱۹۴۸ اثبات‌های پیچیده‌ای توسط Albert W. Tucker و گروهش منتشر شد.