07-05 Proving NP-Completeness