theorem Th60: :: EUCLID12:81

for A being Point of (TOP-REAL 2) holds median (A,A,A) = {A}