theorem Th49: :: HELLY:49

for T being _Tree
for a, b being Vertex of T holds MiddleVertex (a,b,a) = a