未得到证明的命题。
其目的是为了找到一个“万有上同调理论”，而上同调理论又是代数几何以及代数拓扑的重要工具，所以，这个理论对于数学界而言也有着十分重要的意义。
而作为可能组成这个“万有上同调理论”的一块砖瓦，格罗滕迪克所提出的这个神秘函子，自然也吸引了不少数学家们的研究，比如法尔廷斯就是在这方面成功比较突出的数学家。
只不过，几十年过去，这个神秘函子的真实面貌仍然没有被完全地定义出来。
然而，眼下萧易所写出来的这个东西，让这些能够看懂的数学学者们都变得认真起来。
因为，现在的萧易，正在从远阿贝尔几何的角度，来对这个神秘函子进行一次十分深入的剖析。
时间跟随着萧易的讲述，渐渐过去了。
那块黑板也逐渐被萧易的笔迹所占据，直到最后——
“所以，我们成功得证——”
【Bst?K0·HdR(X/K)≌Bst?Qp·Het(X*K，Qp)】
萧易在黑板最后的空白处写下来这样一行等价式。
“\b因此，我们终于找到了这个神秘函子，??(x，-)的真实面貌！”
随着他这最后一行式子的写出，顿时间，观众席间，那些看懂了的\b数学家们，瞪大了眼睛。
没错，就是这个！
这个年轻人，竟然真的做到了！
他成功地定义了格罗滕迪克的神秘函子，揭开了它的真面貌！