Suppose P≠NP. We have problems that are in P and problems that are NP-complete and we know these sets are disjoint. Is there anything else in NP? In 1975, Ladner showed the answer is yes.
Theorem (Ladner) If P≠NP then there is a set A in NP such that A is not in P and A is not NP-complete.