Let be a divisor on compact Riemann surface through which function on the condition greater fors finite-dimensional linear space (over ); if , then .
Let be a divisor on a compact Riemann surface . The functions satisfying the condition form a finite-dimensional linear space (over ); if , then .