suppose formula_27 is in the cut locus of formula_1 in formula_21. a standard result is that either (1) there is more than one minimizing geodesic joining formula_1 to formula_27, or (2) formula_1 and formula_27 are conjugate along some geodesic