theorem :: SIN_COS3:25

for z being Complex holds exp z = (cosh_C /. z) + (sinh_C /. z)