let A be closed-interval Subset of REAL ; :: thesis: sinh | A is continuous
sinh | REAL is continuous by FDIFF_1:33, SIN_COS2:34;
hence sinh | A is continuous by FCONT_1:17; :: thesis: verum