Riemann–Roch theorem
Using the Grothendieck–Riemann–Roch theorem, we have that