theorem Th18: :: LOPBAN_4:18

for X being Banach_Algebra
for w, z being Element of X
for n being Nat holds Expan_e (n,z,w) = (1 / (n !)) * (Expan (n,z,w))