theorem :: CLVECT_3:42

for X being ComplexHilbertSpace
for seq being sequence of X st seq is absolutely_summable holds
seq is summable