Redirecting to Riemann mapping theorem