theorem Th22: :: NORMSP_1:22

for a being Real
for RNS being RealNormSpace
for S being sequence of RNS st S is convergent holds
a * S is convergent