theorem :: CLOPBAN4:33

for X being Complex_Banach_Algebra
for z being Element of X holds exp z = Sum (z ExpSeq) by Def6;