素数，随机选取一个比n小的数a，得出这个a的n减去一次方，然后除以这个数，是不是会余1”
梅森感觉有些绕，问：“然后呢？”
费马说：“如果余数不是1，就说明一定是合数。”
梅森摇摇头说：“如果余数是1，也许是个合数呢？你这个不严谨啊。”
费马说：“没错，如果选取了很多个小数余数都等于1。”
梅森摇摇头说：“那也不见得一定是素数。”
费马说：“如果不是素数，那也可以称之为伪素数。”
梅森摇摇头说：“这只能确定一定是不是合数，却不敢肯定一定是素数，只能知道是不是伪素数。”