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 b,b st a,b are_connected holds
RePar (P,1RP) = P + Q