Demuestra que existe una función $f : \mathbb{N} \rightarrow \mathbb{N}$ que satisface lo siguiente (1) $\{f(n) : n\in\mathbb{N}\}$ es un conjunto finito; y (2) Para enteros distintos de cero $x_1, x_2, \ldots, x_{1000}$ que satisfacen $f(\left|x_1\right|)=f(\left|x_2\right|)=\cdots=f(\left|x_{1000}\right|)$ , entonces $x_1+2x_2+2^2x_3+2^3x_4+2^4x_5+\cdots+2^{999}x_{1000}\ne 0$ .