Si es conexo por caminos, dado , existe un camino en uniendo con . Entonces es un lazo centrado en , con por definición. De esta manera, es sobreyectiva.
Por otro lado, supongamos que es simplemente conexo y sean y clases de , con . Asimismo, sean y los levantamientos comenzando en y terminando en . Como es simplemente conexo, existe una homotopía por caminos entre las curvas y . Entonces homotopía entre y . Por tanto , es decir es inyectiva y, por tanto, también biyectiva[2].
Cálculo de grupos fundamentales
Que sea biyectiva implica que el espacio de llegada y el de salida son homeomorfos. Como el espacio de salida de la correspondencia es un grupo fundamental (además, al ser conexo por caminos, se tendrá el general), entonces podemos aprovechar el conjunto para conseguir el grupo fundamental en ciertos casos.