theorem Th27: :: SEQ_2:27

for s being Complex_Sequence st s is convergent holds
lim |.s.| = |.(lim s).|