for i being non zero Integer holds cot is PI * i -periodic