theorem :: JORDAN1H:41

for f being non constant standard special_circular_sequence st LeftComp f = UBD (L~ f) holds
f is clockwise_oriented