theorem Th2: :: SIN_COS3:2

for z being Complex holds - (sin_C /. z) = sin_C /. (- z)