梅森感觉有些绕，问：“然后呢？”

费马说：“如果余数不是1，就说明一定是合数。”

梅森摇摇头说：“如果余数是1，也许是个合数呢？你这个不严谨啊。”

费马说：“没错，如果选取了很多个小数余数都等于1。”

梅森摇摇头说：“那也不见得一定是素数。”

费马说：“如果不是素数，那也可以称之为伪素数。”

梅森摇摇头说：“这只能确定一定是不是合数，却不敢肯定一定是素数，只能知道是不是伪素数。”