为了证明这个假设，沈奇发明了一种新的证法。
“覆盖最丰富的拓扑使得所有可表函子成为层，所以态射fi不一定为嵌入……这个项目啊，真的是越做越复杂。”
沈奇走到窗边，看着楼下的大学生们来来往往。
数学大一统这个项目非常庞大繁杂，若要将代数几何与偏微分方程统一在一起，肯定不是复制粘贴这么理想化，否则数学早就大一统了。
一个数学分支与另一个分支在统一的过程中，必然涉及新的理论原则或者技巧方法。
将代数几何、偏微分方程、拓扑、分析等分支统一，需要在原有理论基础上加入大量的创新元素。这还只是局部统一，或者说是限制性的纲领。
沈奇休息了一会儿，重新回到办公桌前。
历经一下午的钻研，沈奇使用新型的“覆盖最丰富拓扑的证法”，证明了射影代数簇的衍生假设。
“证来证去，居然得到这么个结果……”
沈奇觉得有点意思，这个结果很难说是好是坏，只能说是前所未有的新套路。