江水源和张谨将信将疑地离开办公室。

等到下午放学后，张谨迫不及待地拉着江水源就要去找葛钧天，江水源却不为所动：“咱们还是先去吃饭吧，一会儿还要上晚自习。至于那事儿，暂时不急！”

“不、不、不急？难、难道你就不好奇？”张谨越急越结巴。

江水源笑了笑解释道：“葛大爷的脾气你还不了解？他要是证明出来，早就该穿着大裤衩、趿拉着拖鞋冲到我们班门口，趾高气扬地把答案拍到我们脸上，然后再臭屁地嘚瑟一番。既然他没有出现，那么结果只有一个，就是他还没有证明出来。咱们何必去自找霉头？”

“不、不、不可能吧？葛、葛老师那么厉害，我、我的猜想又那么粗浅，怎么可、可能一下午都没证明出来？我、我不信！”张谨很意外地坚决维护了葛钧天作为老师的权威。

江水源心道：没听过有句话说“一个傻子提出的问题，一百个聪明人也解答不了”？何况你丫分明就是外拙内秀，挖个坑把葛钧天这个自负的家伙给埋在里面不是很正常吗？只是不知道这个坑会把他埋多久，万一把他弄魔怔了就不好玩了。

想到此处，他站起身：“不信是吧？那咱们打个赌。要是葛大爷证明出来了，算我输，这个星期的晚饭我包了；要是葛大爷没证明出来，就算你输，这个猜想的冠名权归我！如何？”

在学习西方科学技术过程中。我们经常会遇到一大堆名词和定理，其中不少是以古今科学家的名字来命名的，比如像数学。就有欧拉图、杨辉三角、柯西收敛、洛必达法则、拉普拉斯算子、拉格朗日中值定理、切比雪夫大数定律等等。

这种命名大致可以分为两类，一类是后人或同行以发现人来命名的，这也最为普遍，比如阿基米德定律、高斯曲线、克莱因瓶。如果是由两人共同发现，或者一人发现、另一人补充完善推广应用，还可以两人联合署名，比如阿尔泽拉-阿斯科利定理、杨-米尔斯理论。随着科学发展。时至今日，三人或三人以上联合署名的名词和定理已经屡见不鲜，诸如庞加莱-伯克霍夫-维特定理、高斯-科达齐-迈因纳尔迪公式、Bogoliubov-Born-Green-Kirkwood-Yvon方程组（简称BBGKY方程组）。大家都耳熟能详。

还有一类则是发现者为了纪念某人而命名的，比如普朗克时间、普朗克问题，就和普朗克本人没有多大关系；而载入史册的珍妮纺纱机，则是发现者哈格里夫斯以自己女儿的名字来命名的。在科学史上甚至出现过以发现人的反对者来命名的极端例子。比如泊松亮斑（由菲涅尔首先提出。但柏松却认为是荒谬的）。

江水源说的，自然是后一种。张谨眨眨眼睛：“好、好啊，那、那咱们就一言为定！”

达成一致意见后，两人便来到葛钧天的办公室。轻轻叩响房门，便听到里面传来一个不耐烦的声音：“敲什么敲？我不在！”

两人不禁面面相觑：“我不在”是几个意思？你不在的话，屋里面说话的又是谁？憨厚老实的张谨迟疑片刻后答道：“葛、葛老师，我、我是张谨，和、和、和江水源来看看你、你证明出来没有？我、我们能进去吗？”

江水源直翻白眼：张小哥。你是真傻还是装傻？葛大爷这声气像是证明出来的样子么？不过也好，装叉被打脸可是观众最喜闻乐见的情节。尤其还是葛大爷这样的傲娇自恋狂，平时难得一见，绝对不容错过。