theorem :: JORDAN1I:26

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