(x_1-x_2)(x_1+x_2+1)\equiv 0\pmod {2^k}