“1980年的时候，格罗斯教授提出了一个漂亮而精确的stark猜想，关于p进l函数在s=0时的行为。设是一个完全的实场……
uχ的自同态?χp?(oχp)?1是正则定义的，这一事实表明，人们可以研究其特征多项式，而不仅仅是其行列式……
……如上所述，我们有dimeuχ=r，设u1，……，ur是ux的e基。写r={p1，...，pr}。对于每个r，考虑连续同态……
……对于中的每一处v，选择一个分解群gv?g，令iv?gv为相关的惯性群。这一选择对应于每个地方的嵌入值?v，并特别指定了在v之上的h?。在后续中，我们假设对于pir，在π之上的指定的撇距等于……
……”
“上同调与单位的正交性，还有上同调类的构造以及调节器的计算，后面还有对前面几种情况的证明，他这是要证明我当初提出的那个猜想的推测了。
前几天我还让他要抓紧，不要被我那位学生的学生给提前了，没想到这几天功夫他就已经解决这个猜想了。”
看到讲台上正龙飞凤舞的赵贤才后，格罗斯惊叹地对身旁的德利涅说道。
“我还以为他说的上去说一下，真的就只是说一下他的研究成果，没想到他居然已经把这个猜想给证明出来了。”
“不过，我这个猜想还是有些缺点的，因为这个猜想只提供了精确描述构建块所需的两个数中的一个，所以它和斯塔克猜想一样，只提供了一半的信息。
尽管如此，这也已经是很大的突破了。”
一旁的格罗斯又说道。
大概过了一个半个小时之后，赵贤才这才终于停下手中的飞舞着的笔。
“这样，关于格罗斯斯塔克的猜想就证明了。其实后面对于让它提供两个数字，我也有了一些初步的想法，不过这些想法还要经过精密的计算和推理，才有可能使用p进l函数彻底解决全实域上阿贝尔扩张的构造问题。”