Wilson teoremi çift yönlü doğru olduğu için, n bir pozitif tam sayı olmak üzere n!≡−1(modn+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.