$a$ es un entero y $p$ es un número primo y tenemos $p\ge 17$ . Suponga que $S=\{1,2,....,p-1\}$ y $T=\{y|1\le y\le p-1,ord_p(y)<p-1\}$ . Pruebe que hay al menos $4(p-3)(p-1)^{p-4}$ funciones $f:S\longrightarrow S$ que satisfacen $\sum_{x\in T} x^{f(x)}\equiv a$ $(mod$ $p)$ .