for C being Simple_closed_curve
for S being Segmentation of C holds Segm (S,(len S)) meets Segm (S,1)