Untuk setiap 27!, tentu bilangan tersebut habis dibagi 17 karena mengandung faktor 17, sehingga:
Maka. a mod 17 = 1.2.3.....16 x 18.19...27 Menurut Teorema Wilson.
Berlaku pula. a mod 17 = (-1) mod 17 x 18.19....27 mod 17 Hukum keterbagian. a mod 17 = (-1) mod 17 x 1.2.3....10 mod 17
Untuk 10! mod 17. 1.2.3.4.5.6.7.8.9.10 mod 17 (7.2) mod 17 x (4.8) mod 17 x (3.5) mod 17 x (6.2) mod 17 x (9.5) mod 17 14 mod 17 x 32 mod 17 x 15 mod 17 x 12 mod 17 x 45 mod 17 14 mod 17 x 15 mod 17 x 15 mod 17 x 12 mod 17 x 11 mod 17 14 mod 17 x (-2.-2.-5.-6) mod 17 14 mod 17 x 120 mod 17 14 mod 17 x 1 mod 17 14 mod 17
Maka: a mod 17 = (-1) mod 17 x 14 mod 17 a mod 17 = -14 mod 17 a mod 17 = 3 mod 17
Untuk setiap 27!, tentu bilangan tersebut habis dibagi 17 karena mengandung faktor 17, sehingga:
Maka.
a mod 17 = 1.2.3.....16 x 18.19...27
Menurut Teorema Wilson.
Berlaku pula.
a mod 17 = (-1) mod 17 x 18.19....27 mod 17
Hukum keterbagian.
a mod 17 = (-1) mod 17 x 1.2.3....10 mod 17
Untuk 10! mod 17.
1.2.3.4.5.6.7.8.9.10 mod 17
(7.2) mod 17 x (4.8) mod 17 x (3.5) mod 17 x (6.2) mod 17 x (9.5) mod 17
14 mod 17 x 32 mod 17 x 15 mod 17 x 12 mod 17 x 45 mod 17
14 mod 17 x 15 mod 17 x 15 mod 17 x 12 mod 17 x 11 mod 17
14 mod 17 x (-2.-2.-5.-6) mod 17
14 mod 17 x 120 mod 17
14 mod 17 x 1 mod 17
14 mod 17
Maka:
a mod 17 = (-1) mod 17 x 14 mod 17
a mod 17 = -14 mod 17
a mod 17 = 3 mod 17
Sisa a dibagi 17 adalah 3