費馬小定理逆定理

費馬小定理的逆定理也被稱為萊默定理。它指出，如果一個整數 與 素數 互素，且 並且不存在小於 的 整數 使得 ，那麼 不是 素數。 這裡， 被稱為 是素數的見證。 這個定理是 Pratt 素性證書的基礎。