theorem Th4: :: CLOPBAN4:4

for X being Complex_Banach_Algebra
for z being Element of X
for s being sequence of X st s is convergent holds
z * s is convergent