reserve m,k,j,j1,i,i1,i2,n for Nat,
  r,s for Real,
  C for compact non vertical non horizontal Subset of TOP-REAL 2,
  G for Go-board,
  p for Point of TOP-REAL 2;

theorem Th40:
  for f being non constant standard special_circular_sequence st
  Rotate(f,p) is clockwise_oriented holds f is clockwise_oriented
proof
  let f be non constant standard special_circular_sequence;
  assume Rotate(f,p) is clockwise_oriented;
  then reconsider g = Rotate(f,p) as clockwise_oriented non constant standard
  special_circular_sequence;
  1 < i & i < len f implies f/.i <> f/.1 by GOBOARD7:36;
  then f = Rotate(g,f/.1) by FINSEQ_6:181;
  hence thesis;
end;
