Ladner's theorem
Redirect to:
NP-intermediate