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

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

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