畴化收缩原理，即可证明：vgeg，g—Φ（f）=Φ（f）。因此，中（f）是一个不变的函数，且可以被视为惠特克层的一个自同态。这明显太过简洁了。

利用范畴化收缩原理，这句话说起来简单，证明起来可是个麻烦事。首先需要定义平均值： Ф（f）=1/1g1gegΣg—f，然后验证不变性： g—Ф（f）=g： （1/1gigegΣg—f） ..时间就在张馨文奋笔疾书中过去，不知不觉中用于演算的稿纸已经写了整整三面，然后得出了跟乔喻的证明过程一样的答案。

「yes！ 」张馨文忍不住激动的叫了一声，惹来屋外一阵犬吠，他这才惊觉已经是凌晨时，顿时吓得立刻闭紧了嘴巴。

还好屋里屋外除了狗叫了两声外，没有任何动静。

张馨文放下心，但情绪依然激动。

任何一个数学家，思考了半年多的东西，突然被解决都很难不兴奋。

兴奋之后又是一阵后怕。

还好袁老做主把乔喻拉进了他们的课题组……...

否则的话，如果这家伙从另外的渠道打听到他们的课题，然后顺手给解决了怎么办？

现在这种情况起码还能说之前他们的研究是有价值的，起码帮乔喻梳理了对这个问题的脉络。

这个问题解决了，他也终于可以开始下一步的课题攻关了！世界竟然如此美好。

麻萨诸塞州剑桥市距离加利福尼亚州伯克利市大概三千公里的距离，这也是从东海岸到西海岸的距离。

对于许多天气预报只用一句话就能总结的小国家来说，大概无法理解为什么相距如此遥远，竟然还属于同一个国度是何种体验。答案大概是不算美好，尤其是一个国家并不使用同一个时区的时候。

同属一个大家庭，却有著三个小时的时差，这让内部沟通都会变得很麻烦。尤其是