Twierdzenie Wilsona.
Jeżeli p jest liczbą pierwszą, to liczba (p-1)!+1 jest podzielna przez p. Prawdziwe jest też twierdzenie odwrotne do twierdzenia Wilsona, co oznacza, że liczba naturalna p>1 jest liczbą pierwszą wtedy i tylko wtedy, gdy p|(p-1)!+1. Twierdzenie Wilsona jest twierdzeniem teorii liczb. Nazwa "twierdzenie Wolsona" pochodzi od nazwiska matematyka angielskiego J.Wilsona, któremu przypisywano to twierdzenie.