for f being V22() standard special_circular_sequence st f /. 1 = N-min (L~ f) holds
( f is clockwise_oriented iff f /. 2 in N-most (L~ f) ) by FINSEQ_6:89;