Teorema Wilson menyatakan kongruensi terhadap modulo bilangan prima yang berbunyi sebagai
berikut:
Bukti dapat dilihat pada halaman 73 buku Andrew Adler & John Coury, The Theory of Number, A text
and source book of problems, John & Bartlett Publishers, 1995.
Studi kasus
Dari pengertian modulo kita memperoleh ( p−1 ) !−( p−1 )=nk , di manan ∈ Z , sehingga
( p−1)[( p−2) !−1]=nk .
Kesimpulan pertama: ( p−1) dan ( p−2)!−1 membagi atau adalah faktor-faktor dari nk.
Selanjutnya akan dipergunakan teorema Wilson yang menyatakan ( p−1) ! ≡−1(mod p). Akan tetapi
(p-1)! ≡ -(p-2)! (mod p). Dari aturan modulo yang menyebutkan bahwa jika a ≡ b(mod p) dan
b ≡ c (mod p) maka a ≡ c (mod p), kita mendapatkan −( p−2)! ≡−1( mod p). Ini berarti
−( p−2)!+ 1=mp dengan m bilangan bulat.
Kesimpulan pertama dan kedua akan mengiring kita menuju kesimpulan ketiga: ( p−1) p membagi nk .
( p−1 ) p
Jadi nilai k yang mungkin adalah di mana n ∈ Z .
n