帮我看看图中的命题5.6。它说当x是仿射概型时,Ox模层的短正合列可以导出整体截影的短正合列,只要F'是拟凝聚层。在证明最后一个映射是满射时(见第二张图片),他提到t和ti都属于F(D(gi)),然后说它们都提升为s,这个好像是说错了,因为s是F''的整体截影。然后他又说t-ti属于F'(D(fgi)),这简直有点莫名奇妙了,因为前面刚说它们是F的截影,怎么突然变成了F'的截影了? 因此到这里我就无法理解这个证明了,总觉得F'是拟凝聚层与结论好像没什么关系。谁来教教我如何证明这个命题? 谢谢了。