theorem Th5: :: BORSUK_2:6

for T being non empty TopSpace
for a being Point of T
for P being constant Path of a,a holds P + P = P