NP-Completeness Proof