theorem Th34:
  f=h implies (f is Lipschitzian iff h is Lipschitzian);
