theorem Th36: :: GOBRD14:36

for g being V8() standard clockwise_oriented special_circular_sequence holds UBD (L~ g) = LeftComp g