费马素数指的是形如的素数。现在考虑一个一般的形式 在什么情况下p必为合数？
注意到以下式子 显然，等号后面是一个整数。我们令b=-1，如果m是一个奇数我们将发现能被a+1整除。如果考虑置换，注意到的值并没有变化。但是能被a+1整除（同上），所以如果m含有2以外的因子（除非是1），则必为合数。
至于等号后面的剩余部分，它是如同梅森素数般难缠的家伙，注意到他的项数是一个素数，以后慢慢研究
