theorem Th8: :: LOPBAN_4:8

for X being Banach_Algebra
for s, s9 being sequence of X st s is convergent & s9 is convergent holds
lim (s * s9) = (lim s) * (lim s9)