theorem Th53: :: INTEGRA8:53

for A being non empty closed_interval Subset of REAL holds integral (exp_R,A) = (exp_R . (upper_bound A)) - (exp_R . (lower_bound A))