Sea $k\geqslant 2$ un entero, y $a,b$ números reales. Demuestre que $a-b$ es un entero divisible por $k$ si y solo si para cada entero positivo $n$ $$\lfloor an \rfloor \equiv \lfloor bn \rfloor \ (mod \ k)$$