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