In a complete Riemannian
manifold, an embedded geodesic γ with finite length and negative Jacobi operator
admits an r-neighborhood Nr(γ) with radius r > 0 small enough such that each
pair of points of Nr(γ) can be joined by a unique geodesic contained in
Nr(γ) where it minimizes length among the piecewise C1 paths joining its
endpoints.