theorem Th17: :: SIN_COS3:17

for z being Complex holds sinh_C /. (<i> * z) = <i> * (sin_C /. z)