let M be a 2-dimensional closed Rimmanian manifold diffeomorphic to S^2. S.B.Myers says "the cut-locus of every point x on is a finite tree." 1-How the set of point can be a tree ?what are the edgs
2-Is p a element of cut locus(p)? I can not find any paper of Myers in this case. thanks!