Characterization of a differentiable point of the distance function to the cut locus - Tanaka, Minoru.