As with the finiteness theorem, he used an existence proof that shows there must be solutions for the problem rather than providing a mechanism to produce the answers.
وكما هو الحال مع نظرية التمام، استخدم دليلاً على الوجود يظهر أنه يجب أن تكون هناك حلول للمشكلة بدلاً من توفير آلية لإنتاج الإجابات.