theorem Th9: :: SIN_COS3:9

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