theorem :: HELLY:50

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