Arithmetic Riemann–Roch theorem