Prop. 10 of the Allouche-Zeilberger paper "Human and automated approaches for finite  trigonometric sums" is


                                      true



                          ---------------------------



                          This took, 0.526, seconds .