Es sei p : E → X {\displaystyle {}p\colon E\rightarrow X} eine Überlagerung und X {\displaystyle {}X} zusammenhängend.
Dann ist
für alle x , y ∈ X {\displaystyle {}x,y\in X} .