theorem :: JORDAN_A:36

for C being Simple_closed_curve
for S being Segmentation of C holds S-Gap S > 0