Sea $D$ un subconjunto no vacío de enteros positivos y sea $d$ el máximo común divisor de $D$ , y sea $d\mathbb{Z}=[dn: n \in \mathbb{Z} ]$ . Demuestre que existe una biyección $f: \mathbb{Z} \rightarrow d\mathbb{Z} $ tal que $| f(n+1)-f(n)|$ es miembro de $D$ para cada entero $n$ .