theorem Th43: :: FINTOPO6:44

for FT being non empty RelStr
for f being FinSequence of FT
for x, y being Element of FT st f is continuous & y = f . (len f) & x in U_FT y holds
f ^ <*x*> is continuous