theorem Th11: :: COMSEQ_2:12

for s being Complex_Sequence st s is convergent holds
lim (s *') = (lim s) *'