Ladner's Theorem

From dankwiki