theorem Th24: :: GOBRD14:24

for p being Point of (TOP-REAL 2)
for f being constant standard clockwise_oriented special_circular_sequence st p in RightComp f holds
E-bound (L~ f) > p `1