a homotopy from a a^{-1} to e_{x_0}