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