Le petit théorème de Fermat énonce que si un nombre premier p ne divise pas un nombre entier n, alors p divise n^(p-1)-1.