Sea $f$ una función no constante del conjunto de enteros positivos en el conjunto de enteros positivos, tal que $a-b$ divide a $f(a)-f(b)$ para todos los enteros positivos distintos $a$, $b$. Demuestra que existen infinitos primos $p$ tales que $p$ divide a $f(c)$ para algún entero positivo $c$.