Riemann–Roch theorem
しかし、h0(O("D")) は l(D) に一致し、セール双対性により h1(O(D)) = h0(O(K − D)) = l(K − D) である。さらに、K の次数は g を曲線 X 種数として 2g - 2であるため、古典的なリーマン・ロッホの定理