La demostración de Ivory del teorema de Fermat explota el hecho de que dado un primo $p$ todos los números de $1$ a $p-1$ son relativamente primos de $p$ (obvio ya que $p$ es primo). Ivory los multiplica por x y obtiene:
$(x)(2x)\cdots((p-1)x)\equiv(1)(2)\cdots(p-1)\pmod{p}$
lo que da el teorema ya que puedo cancelar todos los enteros y salir:
$x^{p-1}\equiv1\pmod{p}$ .
Para derivar el teorema de Euler debería cambiar a módulo $m$ no primos y tomar los enteros positivos relativamente primos a $m$ y repite el proceso. En este punto tengo $\phi(m)$ tales números. ¿Cómo demuestro que todos ellos son no congruentes entre sí (para formar un conjunto completo de residuos al módulo $\phi(m)$ ) para poder multiplicarlos por un $x$ relativamente primo a $m$ y repetir los mismos pasos para demostrar
$x^{\phi(m)}\equiv1\pmod{m}$ ?