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