Statement If is a path-connected, locally path connected, semilocally simply connected topological space, then admits a universal cover. Proof todo