Wilson:
Charles Babbage bewies 1819, dass für jede Primzahl diese Kongruenz gilt:
Der Mathematiker Joseph Wolstenholme (1829-1891) bewies dann 1862, dass für jede Primzahl die folgende Kongruenz gilt:
Satz von Wolstenhome.
Für gilt
Der Satz ist äquivalent dazu:
