theorem :: FUNCT_9:28

for i being non zero Integer holds |.cos.| is PI * i -periodic