for f being circular s.c.c. FinSequence of (TOP-REAL 2)
for n being Nat st n < len f & len f > 4 holds
f | n is one-to-one