theorem Th15: :: SIN_COS3:15

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