reserve T for non empty TopSpace,
  a, b, c, d for Point of T;

theorem
  for T being non empty pathwise_connected TopSpace, a, b being Point of
  T for A being Path of a,b holds A = --A  by Th43,BORSUK_2:def 3;
