for T being _Tree
for a, b being Vertex of T
for 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;