இவற்றில் ஏதேனும் ஒரு வகுப்பு சமமற்றது என்பதை நிரூபித்தல்
இந்த வகுப்புகளில் ஏதேனும் ஒன்று சமமற்றது என்பதை நிரூபிப்பது சிக்கலான கோட்பாட்டில் ஒரு பெரிய முன்னேற்றமாக இருக்கும்.
சிக்கலான வகுப்புகள் இடையே உள்ள எந்த சான்று சிக்கலான கோட்பாட்டிற்கான தத்துவார்த்த நீர்ப்பரப்பை குறிக்கும்?