theorem Th26: :: LOPBAN_3:26

for X being RealBanachSpace
for seq being sequence of X st seq is norm_summable holds
seq is summable