不过，到这里为止，它的历史使命也该结束了。

随着他的手抬起，那支落在白板上的笔动了。

……当i≤n/2时，A^i(X)∩ker(L^（n?2i+1）)上的二次型x→(?1)^i·L^（r?2i）x.x是正定的……】

其中X是域k上光滑投影代数簇，l是与k的特征互素的素数，H^i(X，Ql)是X的i阶l-adic上同调群，X与投影空间的超平面的交集是X的子代数簇。