归属于t变量环节，一直以来这都是一个近似项
不过徐云的这份手稿里，却推导出了另一种正值方式
于是很快
王通便拿起笔算了起来
“考察费马数2^(2^n)+1的素因子p，设2模p的阶为d......则由于2^(2^n)≡-1(modp).......”
“知d不整除2^n，对一式两边平方2^(2^(n+1))≡1(modp），于是d|2^(n+1)，于是d=2^(n+1)......”
“根据已有定理，调和级数是发散的，故会导致矛盾，所以......”
“F0F1⋯Fk−1=Fk−2对k≤t均成立，那么当k=t+1时.......”
读过五道口数学系的同学应该都知道
国内的数学机构虽然天天被人诟病，但他们并不都是吃干饭的
比如丘成桐数学科学中心，经常会负担起验证国内外各种推导结果的任务
例如世人皆知怀尔斯当年的第一版费马证明过程存在问题，却不知道第一个发现这个问题并且发出指正函的其实是南大数学系
只是一般情况下，这些结果大都会被找出bug就是了系
因此对于王通等人而言
复验虽然比较累人，但却并非难如登天
沙沙沙——
指尖与演算纸摩擦的声音不断在屋内响起，一项项推导过程逐渐被验证完毕
三个小时后
王通抹了把额头上的汗水，长呼出一口气：
“好家伙，总算搞定了”
他并没有压低自己的声音，因为核验小组的每个人都戴着隔音耳罩，双十一特惠价只需...咳咳
随后他站起身，将演算结果交到了等候在此的郭教授手里：
“郭教授，我这部分验证完毕了，逻辑合理，没有任何问题”
郭教授接过原先的文件和验证稿，朝王通点点头：
“辛苦了小王，大厅那边有盒饭，肚子饿了可以去垫垫肚子”
“哦对了，还有一件事刚才忘了说，今天算是协助项目，有额外补助300块钱——科大那边出的”
王通顿时眉头一喜
三百块钱，这可不算低了呢
接着他又看了眼郭教授，试探着问道：
“郭教授，不知道复验结果......”
郭教授摸了摸已经交还回来的文稿，表情有些复杂：
“咱们小组的进度稍微慢点，还没出具体结果”
“不过根据其他小组还有南大、燕大、鲁东大学的反馈来看.......”
“梅森素数的无穷性...应该是被验证成功了”
真的成功了？
纵然王通心中早有准备，此时闻言依旧童孔一缩
从此前郭教授的表述来看
那位叫徐云的博士既然能被挂上‘在读’的名头，年龄无论如何都不太可能超过35岁吧？
更别说科大还有少年班中法班这种挂壁班级，说不定对