theorem Th18:
  Mid a,b,a iff a = b or MDist a,b
by Th6;
