theorem Th68:
  f is dilatation iff for a,b holds a,b // f.a,f.b
by Th22;
