Zeige, dass in der Situation von Fakt eine Überlagerung p : Y → X {\displaystyle {}p\colon Y\rightarrow X}
