for cseq being Complex_Sequence st ( for n being Nat holds cseq . n = 0c ) holds
( cseq is absolutely_summable & Sum |.cseq.| = 0 )