theorem Th26: :: GOBRD14:26

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