0\leq\left|x_1-x_2\right|<2^{k-1}