A Simple Proof of the Riemann Mapping Theorem for Domains with Spherical Boundary

We give a simple proof of a Riemann mapping theorem for domains in a Stein manifold with a spherical boundary. Those boundaries are real hypersurfaces which are locally CR equivalent to the sphere inside complex space. The main observation is that for higher dimensional Stein manifolds, the fundamental group of its boundary coincides with that of its interior.