theorem Th28: :: CLOPBAN4:28

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