theorem Th5: :: RUSUB_7:5

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