马证人数（Fermat witnesses）。在这里，令"a"为费马证人数、"a", "a", ..., "a"为费马骗子数。那么所有的"a"×"a" for "i" = 1, 2, ..., "s"都是费马证人数。
应用.加密程序PGP在算法当中用到了这个素性检验方法。