The theorem of Riemann-Roch