theorem Th48: :: HELLY:48

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