一些素数p=541;577等满足∶当a是任意自然数时a^((p+1)/2)-a均能被p整除,称类素数

一些素数p=541;577等满足∶当a是任意自然数时a^((p+1)/2)-a均能被p整除,称类素数
可以证明,满足上述条件的整数p都是4n+1形式素数.我发现随4n+1形式素数值的变大,成为类素数的机会也在迅速增加,如900到1000之间有6个4n+1形式素数,都是类素数.我猜测不小于65537的4n+1形式素数都是类素数.这是否正确呢?称类素数问题.
2^271-2不能被541整除有余数4,所以541不是类素数…617才是最小的类素数