theorem Th25: :: GOBRD14:25

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