Demostracin utilizando aritmtica modular[editar editar cdigo] Esta demostracin se basa en el uso de aritmtica modular y es la que suele aparecer

r en los textos de teora de nmeros. La demostracin se basa en dos lemas que se exponen a continuacin: Lema 1: Ley de cancelacin. Si u, x e y son nmeros enteros y u no es divisible por un nmero primo p, y entonces nosotros podemos "cancelar" u, quedando Se puede comprobar fcilmente esto ya que segn el lema de Euclides, si un primo p divide al producto rs (donde r y s son enteros), entonces p divide a r p divide a s. Dado que ux uy (modp) significa que p divide a ux - uy, sacando factor comn, u(x - y), y puesto que p no divide a u, tenemos que p divide a (x - y) de lo que se sigue que x y (mod p). Lema 2: Propiedad de reagrupacin. La secuencia con p no divisible por a, cuando es reducida mdulo p , puede volver a reagruparse en la secuencia Para empezar, ninguno de los trminos a, 2a, ..., (p 1)a puede ser cero mdulo p, ya que si k es uno de los nmeros 1, 2, ..., p 1, entonces k no es divisible por p, y tampoco por a, as que, segn el lema de Euclides ka no es divisible por p. Por lo tanto, los nmeros de la secuencia a, 2a, ..., (p 1)a, al ser reducidos mdulo p, deben encontrarse entre los nmeros 1, 2, 3, ..., p 1. Ahora bien, los nmeros a, 2a, ..., (p 1)a deben de ser todos distintos al ser reducidos mdulo p, puesto que si
2

donde k y m son nmeros de la lista 1, 2, ..., p 1, entonces la ley de cancelacin dice que

Al reducir la secuencia a, 2a, ..., (p 1)a mdulo p, obtendremos la secuencia 1, 2, ..., p 1, pero en distinto orden, en definitiva, una biyeccin. Demostracin. Sea a un entero positivo no divisible por p. Escribimos la secuencia de nmeros

Si se reduce cada elemento de la secuencia mdulo p y se reagrupa (lema 2), nos queda la secuencia:

Multiplicando todos los elementos de la primera secuencia, se observa que es equivalente mdulo p a la multiplicacin de todos los elementos de la segunda secuencia, o sea:

Agrupando los trminos a:

Finalmente, cancelando (lema 1) los nmeros 1, 2 , ..., p - 1 obtenemos:

Demostracin utilizando teora de grupos[editar editar cdigo] Esta demostracin requiere los ms bsicos elementos de teora de grupos. La idea fundamental es reconocer que el grupo G={1, 2, , p 1}, con la operacin de multiplicacin (bajo mdulo p) forma un grupo. Generalmente se denota a este grupo como x (Z/nZ) . El nico axioma de grupo que requiere un poco esfuerzo de demostrar es que cada elemento de G es invertible. Se demuestra a continuacin. Propiedad de invertibilidad. Para demostrar que cada elemento b de G es invertible, se procede de la siguiente manera. Puesto que b es coprimo con p, la identidad de Bzout asegura que existen dos enteros x e y tales que:

Leyendo esta ecuacin "mdulo p", se puede observar que x es el inverso de b (mdulo p), puesto que

Como para cada b G existe un x que es su inverso mdulo p, de concluye que G es un grupo. Una vez demostrado que G es un grupo se demuestra el teorema: Sea a un nmero entre 1 a p 1, esto es, un elemento de G. Sea k el orden de a, as pues

Por el teorema de Lagrange, k divide el orden de G, que es p - 1, as que p 1=km para algn entero m. Luego