theorem Th35: :: GOBOARD7:35

for f being circular s.c.c. FinSequence of (TOP-REAL 2) st len f > 4 holds
for i, j being Nat st 1 <= i & i < j & j < len f holds
f /. i <> f /. j