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