(a+1)^2-(b+2)^2不等于0
(a+1+b+2)(a+1-b-2)不等于0
(a+b+3)(a-b-1)不等于0
a+b+3不等于0 且 a-b-1不等于0
即a-b不等于1