theorem :: BORSUK_6:79

for T being non empty TopSpace
for a, b being Point of T
for P, Q, R being Path of a,b st P,Q are_homotopic & Q,R are_homotopic holds
P,R are_homotopic