A corollary to this theorem includes a factorial function, is necessary and sufficient for primality, and is known as Wilson's theorem.
Kevin Iga devised a dynamical systems proof for this theorem, which is derivable from the multinomial theorem. A type of certificate named for Vaughan Pratt is based on the converse of this theorem, which is sometimes known as Lehmer's theorem. A corollary to this theorem includes a factorial function, is necessary and sufficient for primality, and is known as Wilson's theorem. The name of this generalization of Euler's totient theorem was coined Kurt Hensel. For 10 points, name this theorem that states any integer raised to the power of a prime number, minus the integer, will be evenly divisible by the prime number.
Kevin Iga devised a dynamical systems proof for this theorem, which is derivable from the multinomial theorem.
{Fermat's little} theorem [prompt on partial answer]