Riemannsche Fläche/Überlagerung/Rückzug/Fakt

Es sei ${}p\colon Y\rightarrow X$ eine Überlagerung von topologischen Räumen, wobei ${}X$ eine riemannsche Fläche sei.

Dann gibt es eine eindeutige Struktur einer riemannschen Fläche auf ${}Y$ derart, dass ${}p$ zu einer holomorphen Abbildung wird.