theorem Th31: :: JORDAN_A:31

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