theorem Th47: :: FINTOPO6:48

for FT being non empty RelStr
for g being FinSequence of FT
for k being Element of NAT st g is continuous & k < len g holds
g /^ k is continuous