theorem
  MDist a,b iff MDist PSym(p,a),PSym(p,b)
by Th30,Th33;
