Riemann existence theorem