Riemann-Roch theorem (source code)

= Riemann-Roch theorem
{c}
{wiki=Riemann–Roch_theorem}

For a smooth projective curve of genus $g$ and a canonical divisor $K$,
$$
\ell(D)-\ell(K-D)=\deg D+1-g.
$$