theorem :: FUNCT_9:21

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