 Path lifting theorem

A path in the base of a covering has a unique lift after its initial point in the fibre is chosen. Subdivide its compact parameter interval so that each segment lies in an evenly covered set, then use the inverse sheet maps successively.