Problem 23.

Slightly modified version of is_divisor to determine if the number is
abundant.