theorem :: BORSUK_6:44

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