Outlines problem 20.
Tests proper divisors sum.