\[P(a,b)=0,\]