theorem :: FUNCT_9:31

for i being non zero Integer holds cos ^2 is PI * i -periodic