theorem Th44: :: COMSEQ_3:44

for seq being Complex_Sequence
for z being Complex st |.z.| < 1 & ( for n being Nat holds seq . n = z |^ (n + 1) ) holds
( seq is convergent & lim seq = 0c )