theorem Th36: :: CLOPBAN4:36

for X being Complex_Banach_Algebra holds exp (0. X) = 1. X