الجملة الأولى: يمكن حل مشكلة اختبار ما إذا كانت متعددة الحدود معينة هي متعددة الحدود الترتيبية من خلال حقل محدود في وقت متعدد الحدود. الجملة الثانية: مسألة التحقق من ما إذا كانت متعدد الحدود معينة هي متعدد الحدود الترتيبية على حقل متعدد الحدود يمكن حلها في الوقت النهائي. السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟