Riemann's existence theorem