Wilson teoremi
Cebir ve sayılar teorisinde, Wilson teoremi şunu ifade eder: n > 1 koşulunu sağlayan bir n tam sayısı, kendinden küçük tüm pozitif tam sayıların çarpımı, n sayısının katlarından bir eksiğine eşit ise n bir asal sayıdır. Bu ifadenin faktoriyel ve modüler aritmetik kullanılarak gösterimi aşağıdaki gibidir:
(n-1)!\ \equiv\; -1 \pmod n
Yukarıdaki denklemi sağlayan her n > 1 tam sayısı, bir asal sayıdır. Başka bir şekilde ifade edecek olursak, n > 1 tam sayısı, ancak ve ancak (n − 1) + 1 ifadesini kalansız bir şekilde bölüyorsa asal bir sayıdır, kalansız bölemiyorsa asal sayı değildir.