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