theorem Th23: :: GOBRD14:23

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