Ladner's theorem

  1. REDIRECT NP-intermediate