Sea $m\geq 2$ un entero. Un entero positivo $n$ tiene la propiedad de que para cualquier entero positivo $a$ coprimo con $n$ , tenemos $a^m - 1\equiv 0 \pmod n$ . Demuestre que $n \leq 4m(2^m-1)$ .