Es ist U = X ∖ D {\displaystyle {}U=X\setminus D} mit D {\displaystyle {}D} wie in Fakt (4) und es ist p − 1 ( U ) = V ~ {\displaystyle {}p^{-1}(U)={\tilde {V}}} . Es ist V ~ {\displaystyle {}{\tilde {V}}} eine riemannsche Fläche nach Fakt und die Abbildung V ~ → U {\displaystyle {}{\tilde {V}}\rightarrow U} ist eine endliche Überlagerung nach Fakt.