リーマン・ロッホの定理
Using the Grothendieck–Riemann–Roch theorem, we have that