既然没有真正证明出来，那就说前面的推理方案未必是正确的。
    与其走前辈们的老路，还不如另辟蹊径，走出一条自己的康庄大道。
    相比于模定理，程诺认为同余数问题，是一个更好的切入方向。
    争论的最终结果，是程诺说服了张伟。
    接下来几个月的时间，就是为了搞懂第二块拼图而努力。
    ……
    盛夏，一个再也平常不过的清晨。
    清华北操场的塑胶跑道上，程诺戴着耳机，匀速慢跑。
    “教授，早上好啊！”
    一道声音响起，接着便是一道身影出现在程诺一侧的视线中。
    这人不是别人，正是程诺那个喜欢拍他马屁的学生，张明华。
    想起这个学生半年多来带给自己的印象，程诺只能用无语两个字来形容。
    “嗯。”程诺点点头，算是打过招呼。
    张明华可没有离开的样子，一边和程诺并排跑着，一边露出崇拜的表情说道，“教授，没想到您工作这么忙，还抽出时间来锻炼身体，怪不得能成为最年轻的维布伦奖得主。向您这样的老师，当为吾辈楷模！”
    “呃……”程诺被舔的有些不好意思，笑笑道，“我听范熠说，你的毕业论文要完成了，挺不错的啊！”
    “不不不，距离教授您还差的远！一篇毕业论文，在我们眼中是千难万难，但在您眼中，只不过是动动脑子的事情而已，这点小事在您们面前不值一提。”
    “那你论文写完后，是准备去别的国家学习一下，还是留下来和我做项目？”
    “当然是留下来和教授您在一起。”张明华毫不犹豫的回答，“在我看来，国外的那些数学家没有一个比教授您厉害的，在我眼中，您就是数学界最大的大佬，我不用去国外，跟在您身边就好！”
    看着张明华那正气凛然的样子，程诺有些拿不准，那些话，张明华是在舔，还是真的发自肺腑？
    “毕业论文写完后拿给我看看，如果连我这关都过不了的话，我是不会让你参加毕业答辩的。”程诺语气淡淡，“另外提醒你一句，我很严格！”
    “教授您不知道，我就是喜欢严格的老师！”张明华露出一排整齐洁白的牙齿，“对待学生越严格，越说明对学生的重视态度！教授，您是一个值得敬佩的老师，我很荣幸能成为您的学生！”
    程诺：“……”
    被舔的有些实在是忍受不了，程诺低着头一言不发的跑了两圈，回到公寓洗个澡后，便直奔研究所办公室。
    程诺到的时候，张伟师兄也刚到。
    “师兄，早啊！”
    “早！”
    “对了。程诺，你要的平方因子的求和问题，我已经整理成文件，来，你看看有没有什么问题。”
    程诺简单翻了一下，“张师兄，你做的很好。那边下面，就是在无穷阶曲线上构造有理点的问题了，这个交给我。”
    “程诺，这个……”张伟有些犹豫。
    程诺所说的这个无穷阶曲线上有理点构建问题，正是第二块拼图中最关键的那个部分，同样，也是最难的一部分。
    程诺看出张伟的担忧，轻松的耸肩道，“师兄，交给我就好，我已经有了一些想法，实际推导一下，应该不成问题。”
    “那就，麻烦程诺你了。”
    ……
    程诺拿笔在草稿纸上运算。
    研究对象是莫代尔交换群的同余数，当它与无穷阶曲线上进行相交时，得到的有理点的表示方式。
    这是一个相当复杂的问题，幸好，程诺早就有了些灵感。
    这些灵感是程诺这几天早上在操场跑步时出现的。
    所以他有了每天早上去操场逛两圈的习惯。
    “假定D无平方因子，简单的初等考量显示D为同余数等价于椭圆曲线E_D:y^2=x^3D^2x上有某个y\neq 0的有理点。可以证明这样的点不属于T，于是D为同余数又等价于r_Dgt;0，决定所有同余数D，使得r_Dgt;0，然后……再这样，就能确定这个有理点是……”
    “唉，不，等等！”
    忽然，程诺的笔停住，目光微凝。
    他的嘴角一翘，喃喃自语，“我似乎，发现了一个什么了不得的东西。”
    第四百八十一章 程氏虚点
    程诺从上午九点，一直运算到第二天的凌晨两点多。
    期间，他一直呆在办公室里，连饭都没吃。
    因为他担心一旦分心，那好不容易被他抓住的灵感就会迅速溜掉。
    研究所里，只有他这一间办公室的灯还亮着。
    打了个哈欠，程诺舒展了一下身体，起身泡了杯咖啡。
    然后他一边小口喝着，一边来欣赏他这个偶然中的发现的“伟大杰作”。
    到现在，程诺还处于一种不真切的感觉当中。
    因为，这个发现，即便是以他的挑剔眼光来看，都可以称得上是“里程碑式”的意义。
    他敢保证，一旦将这个发现公布出去，足以让世界上的数学家们为之疯狂。
    而这一切，都来源于一个巧合。
    上午，程诺在做莫代尔交换群的同余数和无穷阶曲线上进行相交，有理点如何进行表示的推导。
    当他将无穷曲线进行虚点投像的时候，觉得这样算下去有些太过于麻烦，便想着是否能够将所有的无穷阶曲线构成一个曲面，再去求它的一个虚点图像。