NP-Completeness of Independent Set