Comment by nate_martin

I think he is showing the clique problem cannot be solved in polynomial time. Since clique is in NP and not P, P!=NP.