proof that p=np