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