reserve f for non empty FinSequence of TOP-REAL 2,
  i,j,k,k1,k2,n,i1,i2,j1,j2 for Nat,
  r,s,r1,r2 for Real,
  p,q,p1,q1 for Point of TOP-REAL 2,
  G for Go-board;
reserve f for non constant standard special_circular_sequence;

theorem Th36:
  for i,j being Nat st 1 <= i & i < j & j < len f holds f/.i <> f/.j
proof
  len f > 4 by Th34;
  hence thesis by Th35;
end;
