for C being Simple_closed_curve
for S being Segmentation of C
for i being Nat st 1 <= i & i <= len S holds
S /. i in C