theorem Th29: :: LOPBAN_4:29

for X being Banach_Algebra
for z being Element of X holds 1 <= Sum (||.z.|| rExpSeq)