An addition formula for Riemann functions