theorem :: FUNCT_9:25

for i being non zero Integer holds tan is PI * i -periodic