theorem
  median(B,A,A)=Line(A,B) by Th24;
