ECS 120 8c:4 Cook-Levin Theorem if P neq NP, then no NP-complete problem is in P

From David Doty