theorem Th55: :: INTEGRA8:55

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