theorem Th32: :: JORDAN:32

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