theorem :: HELLY:47

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