theorem :: FUNCT_9:23

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