KnowraWilson's theoremLinked fromLinked fromThe 5 pages that link to Wilson's theorem, each with the reason it gives.All 5Compared with 5Fermat's little theoremCompared with: It is another prime-modulus theorem, but uses a factorial rather than powers.Legendre's formulaCompared with: It concerns factorials modulo primes rather than their prime-factor exponents.Lucas's theoremCompared with: It is another classical prime-modulus theorem, but concerns factorial products rather than digitwise binomial residues.Von Staudt–Clausen theoremCompared with: It is another classical prime criterion, but concerns factorial residues rather than Bernoulli denominators.Wolstenholme's theoremCompared with: It is a classical prime congruence, but gives a factorial residue rather than Wolstenholme's higher-power refinement.