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