theorem Th2: :: CLOPBAN4:2

for X being Complex_Banach_Algebra
for s being sequence of X
for z being Element of X st ( for n being Nat holds s . n = z ) holds
lim s = z