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