theorem Th10: :: COMSEQ_2:10

for s being Complex_Sequence
for g being Complex st ( for n being Nat holds s . n = g ) holds
lim s = g