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