लैडनर
यह लैडनर द्वारा दिखाया गया था कि अगर पी पेनाल्टी एनपी है, तो एनपी में ऐसी समस्याएं मौजूद हैं जो न तो पी में हैं और न ही एनपी-पूर्ण हैं।
किसने दिखाया कि P = NP का तात्पर्य P या NP-पूर्ण में मौजूद न होने वाली समस्याओं से है?