theorem :: JORDAN1I:27

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