Set Cover NP-Completeness Theorem