Riemann-Roch theorem (curves)

For divisor D on smooth projective curve X of genus g: ℓ(D) − ℓ(K−D) = deg D − g + 1. Controls linear systems; foundation of curve theory.