theorem :: SIN_COS2:42

cosh | REAL is continuous by Th35, FDIFF_1:25;