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