Ladner's theorem


Ladner's theorem is a theorem.