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