3，就等于4*0+3，而7，就等于4*1+3，再比如一个大一点的数字，比如欧拉心算出来的2^31-1，其等于2147483647，同样可以转换为（4x+3）的形式。
这是林晓直接看出来的。
他眼前一亮，开始了证明。
有了这个关系，他将梅森素数套在自己的那个变换构造函数上，也就没问题了。