SUBSET-SUM = {S, t there exists S' S N such that = t N}, N = set of natural numbers
Theorem 36.13: SUBSET-SUM NPC
Proof: