theorem Th44: :: SIN_COS3:44

for x, y being Real holds cos_C /. (x + (y * <i>)) = ((cos . x) * (cosh . y)) + ((- ((sin . x) * (sinh . y))) * <i>)