theorem Th7: :: LOPBAN_4:7

for X being Banach_Algebra
for z being Element of X
for s being sequence of X st s is convergent holds
lim (s * z) = (lim s) * z