for T being non empty TopSpace
for a, b being Point of T
for P being Path of a,b st P is continuous holds
P * (L[01] (((0,1) (#)),((#) (0,1)))) is continuous Function of I[01],T