theorem :: FUNCT_9:32

for i being non zero Integer holds sin (#) cos is PI * i -periodic