Dimostrazione di NP-completezza di SAT.