theorem :: SIN_COS3:24

cosh_C /. 0c = 1