过他还没来得及说话，对面就抢着说了句：“张教授，快去看邮箱，乔喻证出来了！”

脑子有点懵，张馨文下意识的问了句：“乔喻？他证出什么了？”

“不是？还能是什么？当然是我们现在遇到的问题！不说了，我还要通知罗纳德！”

“嘟嘟嘟……”

手机听筒里的忙音，让张馨文愣了半晌。

不是……

就挂了？

他好像还打算骂两句这个扰人清梦，还破坏夫妻感情的家伙，他怎么就挂了？

等等……

乔喻把那个问题证明出来了？

大脑终于被完全激活，张馨文整个人突然一激灵，然后随便找了件衣服披上，快步来到他的小书房，打开了笔记本电脑。飞快的登陆了邮箱。

果然有一封李立行从华清发来的邮件，附件就一张很小的图片。

张馨文疑惑的点开，极限简洁的证明过程便强势钻进了他的脑海里。

仔细的看完之后，张馨文感觉有些很不真实。困扰了他们大半年的问题，那个乔喻解决起来只用了六行？

在心底感慨了不到两秒，张馨文就拿起了笔，然后从桌上顺手抽出一叠纸开始做起了推导。

比如第五行不变性的证明。

证明者在这里确保了全局函数在变换群作用下的平均值是一个特征层。

这一点非常重要，因为它证明了所构建的特征层W实际上捕捉到了全局函数的主要特征，而不是随群的变化而改变。证明的逻辑在于，通过变换群的平均作用，可以保证得到的结果仍然属于特征层。

但乔喻的表达是：利用范畴化收缩原理，即可证明：??g∈G，g??Φ(f)=Φ(f)。因此，Φ(f)是一个不变的函数，且可以被视为惠特克层的一个自同态。

这明显太过简洁了。

利用范畴化收缩原理，这句话说起来简单，证明起来可是个麻烦事。首先需要定义平均值：Φ(f)=1/∣G∣g∈G∑g??f，然后验证不变性：g·Φ(f)=g·｛1/∣G∣g∈G∑g??f｝……

时间就在张馨文奋笔疾书中过去，不知不觉中用于演算的稿纸已经写了整整三面，然后得出了跟乔喻的证明过程一样