theorem :: GOBRD14:40

for g being non constant standard clockwise_oriented special_circular_sequence
for P being Subset of (TOP-REAL 2) st P is_inside_component_of L~ g holds
P = BDD (L~ g)