Karp-Lipton Theorem