Karp-Lipton theorem#Application for circuit lower bounds - Kannan's theorem