theorem Th35: :: FUNCT_9:35

for a, b being Real
for i being non zero Integer holds b + (a (#) cos) is (2 * PI) * i -periodic