(ab+1)^2-(a+b)^2
=(ab+1+a+b)(ab+1-a-b)
=[a(b+1)+(b+1)][a(b-1)-(b-1)]
=(a+1)(b+1)(a-1)(b-1)