[\frac{1}{2} {m_{1}}^{2002}] = x_{2002} - 1