Riemann–Roch theorem
The arithmetic Riemann–Roch theorem states