let A be non empty closed_interval Subset of REAL; :: thesis: ( sinh is_integrable_on A & sinh | A is bounded )
sinh | A is continuous by Lm14;
hence ( sinh is_integrable_on A & sinh | A is bounded ) by Lm9, INTEGRA5:10, INTEGRA5:11; :: thesis: verum