Riemann–Roch formula