Riemann-Roch theorem