Stelling van Wolstenholme
in de getaltheorie, een deelgebied van de wiskunde, zegt de stelling van Wolstenholme dat voor ieder priemgetal  de onderstaande congruentie geldt:
 .

Hierin stelt het symbool in het linkerlid zoals gebruikelijk een binomiaalcoëfficiënt voor.

Voor  geeft de stelling bijvoorbeeld dat 1716 één groter is dan een veelvoud van 343.

Geschiedenis 
In 1862 publiceerde Joseph Wolstenholme (1829 - 1891), docent aan de Universiteit van Cambridge, de naar hem genoemde stelling in zijn artikel. In hetzelfde artikel gaf hij ook het bewijs voor de volgende congruenties

 

en
 

waarbij een congruentie als
  ,

met  en  gehele getallen en  en  relatief priem, moet worden opgevat als alternatieve schrijfwijze voor
 .

Overigens bewees Charles Babbage reeds in 1819 een soortgelijke congruentie als de stelling van Wolstenholme, maar dan met de zwakkere modulus .

Logische omkering 
De logische omkering van de stelling luidt: als de in de inleiding genoemde congruentie waar is voor een geheel getal , dan is  een priemgetal. Men vermoedt dat de omkering waar is, dus dat het gelden van de congruentie een noodzakelijke en voldoende voorwaarde is voor priem-zijn. Ondanks uitgebreid onderzoek en enkele veelbelovende vorderingen blijft het volledige bewijs van dit vermoeden een moeilijk onopgelost probleem.

Wolstenholme
Priemgetal