Karp-Lipton theorem

1. REDIRECT Karp–Lipton theorem

{{R from modification}}