theorem :: INTEGRA8:77

for A being non empty closed_interval Subset of REAL st A = [.0,1.] holds
integral ((sinh + cosh),A) = number_e - 1