for g being V8() standard clockwise_oriented special_circular_sequence holds not LeftComp g is bounded