theorem Th6: :: RUSUB_7:6

for X being RealUnitarySpace
for S being sequence of X
for St being sequence of (MetricSpaceNorm (RUSp2RNSp X)) st S = St & St is convergent holds
lim St = lim S