theorem Th10: :: SIN_COS3:10

for z being Complex holds cosh_C /. z = cosh_C /. (- z)