théorème de Wilson

ARITHMETIQUE

p un entier supérieur ou égal à 2, (p-1)!+1 est divisible par p si et seulement si p est premier.
Enoncé sous forme de conjecture en 1770 par Wilson , publié par Waring , il fut démontré par Lagrange en 1773. La démonstration habituellement présentée aujourd’hui est due à Gauss . Cette conjecture était déjà connue de Leibniz et peut -être précédemment.