theorem Th33: :: FUNCT_9:33

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