Riemann–Roch theorem