Wilson teoremi çift yönlü doğru olduğu için, $n$ bir pozitif tam sayı olmak üzere $n! \equiv -1 \pmod{n+1}$ oluyorsa $n+1$ asaldır deriz. Formül de bununla ilgilidir. Örneğin, $7$'nin asal olup olmadığını test etmek için $6! = 720$ sayısının $7$ ile bölümünden kalanı hesaplamaya dayalıdır. Çok yavaş bir yöntem olduğu için, bunu uygulamak isteyen pek kimse (tanıdığım hiç kimse) yoktur.