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