mathimatikoi.org

If $X$ is a compact length space which is semi-locally simply connected, then every closed curve in $X$ is homotopic to a closed geodesic or a constant map.