En matemática, el teorema de Wolstenholme afirma que para un número primo p > 3, la congruencia es verdadera, donde la parte izquierda de la igualdad es un coeficiente binomial. Por ejemplo, con p = 7, dice que 1716 es uno más que un múltiplo de 343. El teorema fue demostrado por Joseph Wolstenholme en 1862; Charles Babbage había mostrado la equivalencia para p en 1819. No se sabe si un número compuesto cumple el teorema de Wolstenholme.