theorem Th16: :: SIN_COS3:16

for z being Complex holds cos_C /. (<i> * z) = cosh_C /. z