Riemann–Roch theorem
一方、リーマン・ロッホの定理（ネターの公式）より、