theorem Th37: :: LOPBAN_4:37

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