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