Karp-Lipton theorem