theorem Th29: :: JORDAN_A:29

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