质数formula_1为威尔逊质数，如果即 formula_3 可被formula_4 整除，这和说明每个质数 formula_1 都能整除 formula_3 的威尔逊定理有关。现时所知的威尔逊质数只有5、13和563（），若还有其他这类质数，必然大于formula_7。