for T being non empty TopSpace
for a being Point of T
for P being constant Path of a,a holds P = I[01] --> a