theorem :: FUNCT_9:24

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