足fx，vlv
fx，v作为v的函数在txm满足lpschtz条件
fx，vfx，v
v……
定理3：……
每一个定理后面，都附带一大堆的证明步骤。
这是一个相当庞大的工作量，程诺也还没有狂妄到想一两天的时间就能搞定。
忙碌碌一天一天，每天都面对那枯燥无比的公式字符，程诺却乐此不疲。
十天后，程诺将总共推导出的二十四个定理和其证明步骤，打包发给菲涅尔教授，随后很自觉的，向他要了下一阶段的工作。
又是一个五天后，程诺接到的新任务完成了才一半不到，就被江里紧急召唤到麻省理工学院棋牌社的总部。
“我记得明天是开赛的日子，我会准时去的，这个就不用你再三提醒我了。
”程诺坐在椅子上，对如今的棋牌社社长江里说道。
“我这么着急找你来，所说的并不是这个。
”江里苦笑道。
“那是什么事？”
“我刚刚从这次比赛组委会那边得到消息，这届围棋大赛，将会有一位特殊的选手参加！”
“特殊的选手？那是谁？”
“阿尔法零！”
“机器人？！这特么简直就是作弊啊！”
江里耸肩，“没办法，阿尔法零刚研发出来不久，虽然击败了阿尔法狗，但研发组的人还想让阿尔法零多参加几场与人类的比赛，来检测它的性能。
”
“那岂不是说，这次比赛的冠军已经内定了呗。
”程诺呵呵一笑，“不过没多大关系，你让我参加比赛又不是奔着冠军去的，用不到这么伤心。
”
“只不过，不知道是哪个倒霉人，第一轮会碰到那个机器人。
”
“呃……”江里犹豫一下，“我有一个忧伤的消息，你要不要听。
”
“你讲。
”程诺道。
“你口中说的那个倒霉人，就是你自己。
”江里开口说道，“对阵表已经出来，你第一轮的对手，就是机器人阿尔法零。
”
程诺：“……”
这，还真是一个忧伤的故事！
………………
ps：虽然有些老套，但我还是要说，祝各位中秋节牛逼！！