Sean $a_1,\ldots , a_{p-2}{}$ residuos no nulos módulo un primo impar $p{}$ . Para cada $d\mid p - 1$ hay al menos $\lfloor(p - 2)/d\rfloor$ índices $i{}$ para los cuales $p{}$ no divide a $a_i^d-1$ . Demuestre que el producto de algunos de $a_1,\ldots , a_{p-2}$ da el residuo dos módulo $p{}$ .