theorem Th32:
  for T being pathwise_connected non empty TopSpace, a, b being Point of T
  for f being Path of a,b holds rng f = rng -f
by Th31,BORSUK_2:def 3;
