for f being V23() standard clockwise_oriented special_circular_sequence
for p being Point of (TOP-REAL 2) st f /. 1 = N-min (L~ f) & p `2 < S-bound (L~ f) holds
p in LeftComp f