ECS 220 5b:6.6-2 almost proof of Ladner's theorem

From David Doty