theorem Th84: :: BORSUK_6:84

for T being non empty TopSpace
for a, b being Point of T
for P being Path of a,b
for Q being constant Path of a,a st a,b are_connected holds
P + (- P),Q are_homotopic