theorem Th21: :: TOPREAL8:21

for f being s.c.c. FinSequence of (TOP-REAL 2)
for n being Nat st 1 <= n holds
f /^ n is s.n.c.