If , the sets , and their intersection are path-connected, and the base point lies in the intersection, then is generated by the images of and . Subdivide each loop into arcs lying in cover members and join every transition point to the base point within the intersection; the inserted paths telescope.
Codex Wiki