read `TrigSums.txt`:

ProveSp():

quit: