theorem Th35:
  Mid a,b,c iff Mid PSym(p,a),PSym(p,b),PSym(p,c)
by Th33;
