Sean $k, M$ enteros positivos tales que $k-1$ no es libre de cuadrados. Demostrar que existe un real positivo $\alpha$ , tal que $\lfloor \alpha\cdot k^n \rfloor$ y $M$ son coprimos para cualquier entero positivo $n$ .