This was proved for SAT first: http://en.wikipedia.org/wiki/Cook%E2%80%93Levin_theorem
http://en.wikipedia.org/wiki/NP_complete
This was proved for SAT first: http://en.wikipedia.org/wiki/Cook%E2%80%93Levin_theorem
http://en.wikipedia.org/wiki/NP_complete