theorem
  a (#) cos - b is (2*PI*i)-periodic by Th35;
