reserve i,j,k,l,m,n for Nat,
  D for non empty set,
  f for FinSequence of D;
reserve X for compact Subset of TOP-REAL 2;
reserve r for Real;

theorem Th30:
  for f being non 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;
