Finished NP-completeness proof