Sé que debo mostrar que p! $\equiv$ 0 mod p + 1. Estoy tratando de uso del teorema de Wilson. p! $\equiv$ p(p - 1)! $\equiv$ p $\cdot$ - 1 mod p. Puesto que p $\equiv$ 0 mod p, entonces p! $\equiv$ 0 mod p...pero esto es obvio ya que p divide a p. Así que este argumento parece ser un callejón sin salida.
He intentado lo siguiente: p debe ser impar puesto que p es un primo mayor que 3. Por lo tanto, p + 1 es par. Puesto que p + 1 es aún debe ser el producto de 2 y un número entero n tal que n < p + 1. Ahora, p! = p(p - 1) $\cdot\cdot\cdot$ n $\cdot\cdot\cdot$ 2 $\cdot$ 1. Por lo tanto p + 1 = 2n | p!
Es este un riguroso suficiente argumento?