theorem :: SIN_COS3:22

sinh_C /. 0c = 0