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