theorem Th52: :: BORSUK_6:52

for T being non empty TopSpace
for a, b, c, d being Point of T
for P being Path of a,b
for Q being Path of b,c
for R being Path of c,d st a,b are_connected & b,c are_connected & c,d are_connected holds
RePar (((P + Q) + R),3RP) = P + (Q + R)