read `TrigSums.txt`:


print(`Prop. 10 of the Allouche-Zeilberger paper "Human and automated approaches for finite  trigonometric sums is`):
print(ProveProp10a() and ProveProp10b() ):
print(``):
print(`---------------------------`):
print(``):
print(`This took`, time(), `seconds . `):


quit: