theorem :: SIN_COS2:41

sinh | REAL is continuous by Th34, FDIFF_1:25;