for T being non empty TopStruct
for c being with_endpoints Curve of T holds
( the_first_point_of c in rng c & the_last_point_of c in rng c )