theorem Th30: :: SPRECT_2:30

for f being constant 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;