for T being non empty TopStruct
for c being Curve of T
for r1, r2 being Real holds c | [.r1,r2.] is Curve of T