等同于函子性猜想，两者共同构成了朗兰兹纲领的两大部分。
而阿廷猜想，则蕴含于互反猜想之中。（前文说阿廷猜想包含于函子性猜想中是错误的，查资料时没看清楚中间有个句号==）
当然，倒并不是说，李牧已经成功证明了互反猜想，只不过，他已经将这个猜想完成了大半的部分。
而他现在的成果中，已经可以通过推导，来把阿廷猜想给证明出来了。
换句话来说，阿廷猜想算是基本上已经被他证明了，现在他仅需要写上几页的推导过程，然后发表出去，数学界就要迎来又一个重量级猜想被解决掉的事实了。
当然，对于李牧来说，证明阿廷猜想倒是并不在他的打算之中，直接将互反猜想给证明出来，才算是他的目标。
只是希望，在他证明出来之前，这三个人能够把阿廷猜想给证明出来了。
摇了摇头，看了看时间，忽然想起来，今天是云容裳毕业的日子，他得过去看一看。
于是他起身，嘱咐几名学生继续安心地学习，然后他便前往了王后学院。
来到这里后，就见到正有几名身穿硕士服的学生，拍着毕业照，而云容裳也正在其中。
云容裳此时手中持着卷起来的文凭，当然这种文凭都只是道具，是假的。
面对着摄像师，她面露笑容，背后是王后学院的标志性建筑，一个小教堂。
当然，这个时候，她也注意到了李牧的到来，眼中一亮，笑容也更加真切了起来。
“Cheese！”
随着这些硕士生们共同喊出了声，摄影师比了个“OK”。
“歪瑞歪瑞古德，特别是云小姐，伱的笑容很好看。”
摄影师就是他们学院的人，所以互相之间也都认识。
“谢谢。”
云容裳微微颔首，道了一声谢后，却并不像其他人都凑上去看毕业照拍的怎样，而是迅速走到了李牧的面前：“你来啦。”
李牧点了点头，笑着说道：“从今天以后，就成为硕士啊。”
“之后还不是要给你打工。”
云容裳翻了个白眼。
李牧失笑道：“哎，话可不能这么说，你有了股份，那么你就是自己给自己打工。”
“哼！”云容裳轻哼一声。
而这个时候，其他人也都注意到了李牧，同样的也注意到了云容裳。
李牧可以清楚的看见，其中有几名男生的目光中，露出了失落的表情。
“林纳斯先生，可以帮我们也拍一张照片吗？”
云容裳朝那名摄影师喊道。
“好的，这当然没问题。”摄影师林纳斯比了个OK，随后便抱着摄像机对准了两个人。
哐哐一顿拍，然后选取了两张看起来最好的照片，拜托林纳斯帮忙将照片洗出来。
“等拿到了学位证和毕业证后，我就回国了，大概是下个周的周末。”
“嗯，早点回去也好，公司那边我已经安排好了，到时候你可以直接上岗，另外，关于公司的资料之后我也会发给你。”
“好。”云容裳点头：“那你呢？”
“等我将三个学生送走吧。”李牧道：“大概在那个时候，我也就要到佘山研究院上班了。”
“上班吗？”云容裳一笑：“你又没领导，我才是上班呢。”
“总有能管得住我的。”李牧耸耸肩：“谁不是工具人呢？”
“那……我是不是也是你的工具人啊？只是帮你管管公司？”
李牧一滞，不过正当他想要回答的时候，云容裳又噗的一笑：“好吧，能够去管这样的公司，当工具人又有什么不愿意的？成为你的工具人，我可是心甘情愿的。”
……
当李牧离开了王后学院，返回他的办公室时，看见的是图志臻三个人激动兴奋的样子。
“没错，就是这样！”
“在R=Ok的情况下，我们完全可以将Yuillen的组视为Ok类组的高维模拟——对于n，以及单元组(Ok)。”
“对于固定的n，Ok素数在p处的归约诱导群同态：Kn(OK)-→Kn(OK/p)，对于n=1，可以很容易地用图(Ok)识别。”
“在之后……”
“这就是K理论！”
“然后，我们再结合椭圆曲线的方法……天！我们居然将如此明显的结果都给忘记了！”
“这就是教授当初说过的啊！K-模理论中的椭圆曲线！”
三个人一同双手抱着脑袋，表现出了他们此时心中的惊喜以及无奈。
“看来，你们发现了关键点所在。”
李牧的声音从他们背后传来，三个人齐齐转身看向了李牧。
然后他们立马