theorem Th23: :: NORMSP_1:23

for RNS being RealNormSpace
for S being sequence of RNS st S is convergent holds
||.S.|| is convergent