theorem :: FUNCT_9:27

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