Wilson un teoreminin daha basit bir ispatı:
p bir asal sayı olsun.
x2≡1 (modp) denklemini düşünelim.
(x−1)(x+1)≡0 (modp) denklemine denk olduğu için ve p asal olduğu için çözümler ¯±1 dir.p≠2 için bunlar farklıdır. Bu da şunu söyler:
(p tek asal ise her x∈Zp∖{ˉ0,ˉ1,¯−1} için x≡╱x−1 dir.
Öyleyse (p tek asal iken) 0 dışında her sayının çarpmaya göre (±1 dışındakilerin kendilerinden farklı) tersi olduğuna göre
(p−1)!≡1⋅(−1)⋅(x1⋅x−11)⋯(xk⋅x−1k)≡−1 (modp)
p=2 için zaten aşikar.