Proof that Boolean satisfiability problem is NP-complete