El teorema fue demostrado por Joseph Wolstenholme en 1862; Charles Babbage había mostrado la equivalencia para "p" en 1819.