theorem :: JORDAN1I:25

for f being constant standard special_circular_sequence holds
( f is clockwise_oriented iff (Rotate (f,(W-min (L~ f)))) /. 2 in W-most (L~ f) )