theorem
  a (#) sin - b is (2*PI*i)-periodic by Th33;
