theorem :: FUNCT_9:26

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