Using Iteration to Sum Up Divisors
At each step, there is a range low...n of
integers to test and an addend in which we accumulate the sum.
We will have the job of remembering the current low and addend values
done by an internal procedure sum-from-plus.