let A be non empty closed_interval Subset of REAL; :: thesis: sinh | A is continuous
sinh | REAL is continuous by FDIFF_1:25, SIN_COS2:34;
hence sinh | A is continuous by FCONT_1:16; :: thesis: verum