theorem Th4: :: SIN_COS3:4

for z1, z2 being Complex holds sin_C /. (z1 + z2) = ((sin_C /. z1) * (cos_C /. z2)) + ((cos_C /. z1) * (sin_C /. z2))