theorem Th20: :: TOPREAL8:20

for f being s.c.c. FinSequence of (TOP-REAL 2)
for n being Nat st n < len f holds
f | n is s.n.c.