Estoy buscando una combinatoria de la prueba del Teorema de Wilson. Algo a lo largo de las líneas de este tipo de prueba.
$\textbf{Combinatorial proof of Fermat's Little Theorem}$
Primero considere un $p$ -tupla y digamos que hay $a$ distintos números de donde $a > 0$ . Ahora la cantidad de tuplas se $a^p$. Ahora podemos decir $2$ tuplas son equivalentes si uno es obtenido por una permutación cíclica de los otros. Ahora hay $a$ clases de equivalencia que consta de $1$ elemento y todas las demás clases de equivalencia contener $p$ elementos(Aquí utilizamos el hecho de que $p$ es una de las principales). Ahora, esto implica que $a^{p-1} \equiv 1 \mathrm{mod} p$