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