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