
theorem Th29:
  for T being _Tree, a,b being Vertex of T, e being object
  st e Joins a,b,T holds T.pathBetween(a,b) = T.walkOf(a,e,b)
  by GLIB_001:15, HELLY:def 2;
