theorem Th51: :: COMSEQ_3:51

for seq being Complex_Sequence st ( for n being Nat holds seq . n = 0c ) holds
seq is absolutely_summable