તે તારણ આપે છે કે "M" શ્રેણી અને "પર" માટે પસાર કરવા માટે પૂરતી સમસ્યારૂપ બને છે, કહે છે વધુ સ્પષ્ટ રીતે, તે અશક્ય છે.