费马小定理的逆定理也被称为莱默定理。它指出，如果一个整数 
与 素数 
互素，且 
并且不存在小于 
的 整数 使得 
，那么 
不是 素数。 这里，
被称为 
是素数的见证。 这个定理是 Pratt 素性证书的基础。
费马小定理逆定理
另请参阅
费马小定理, Pratt 证书, 素性证书, 见证使用 Wolfram|Alpha 探索
参考文献
Riesel, H. Prime Numbers and Computer Methods for Factorization, 2nd ed. Boston, MA: Birkhäuser, p. 96, 1994.Wagon, S. Mathematica in Action. New York: W. H. Freeman, pp. 278-279, 1991.在 Wolfram|Alpha 上被引用
费马小定理逆定理请引用为
Weisstein, Eric W. "费马小定理逆定理。" 来自 MathWorld-- Wolfram Web 资源。 https://mathworld.net.cn/FermatsLittleTheoremConverse.html