theorem :: SIN_COS3:35

for z being Complex
for n being Element of NAT holds cos_C /. (z + ((2 * n) * PI)) = cos_C /. z