Karp–Lipton_theorem loading ...