theorem Th60:
  median(A,A,A)={A}
  proof
    reconsider rA=A as Element of REAL 2 by EUCLID:22;
    Line(rA,rA) = Line(A,A) by Th4;
    then Line(A,A) = {A} by Th3;
    hence thesis by Th24;
  end;
