Cook-Levin Theorem
States that SAT is NP-complete