Llamemos a un barrio abierto U de un punto y principal (wrt. una proyección de cobertura p:X→Y ), si se trata de una imagen previa p−1(U) es una unión disjunta de conjuntos abiertos, que se mapean homeomórficamente en U por p .
Por definición, una proyección de cobertura es una suryección p:X→Y , de manera que cada punto tiene una vecindad principal. Es fácil ver que si U es una vecindad principal de un punto y , entonces cualquier barrio abierto U′ de y con U′⊂U es de nuevo principal.
i) Que p:X→Y y q:Y→Z sean proyecciones de cobertura, donde q−1({z}) es finito para cada z∈Z . Sea z∈Z y U un barrio principal de z . Para cada punto y∈q−1({z}) elegir un barrio principal Vy . Podemos suponer que Vy es un subconjunto del componente de q−1(U) correspondiente a y , posiblemente sustituyendo a Vy con su intersección con ese componente.
Ahora dejemos que U′=⋂y∈q−1({z})q(Vy), entonces U′ es una vecindad abierta (siendo la intersección de muchos subconjuntos abiertos) de z . Debería ser fácil comprobar que U′ es principal.
ii) Que e,e′∈E con p(e)=p(e′) y γ:I→E sea un camino desde e a e′ . Ahora p∘γ es un camino cerrado, y por tanto nulo-homotópico. El levantamiento de tal homotopía muestra que e=e′ .