theorem Th3: :: SIN_COS3:3

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