theorem :: FUNCT_9:30

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