abundant_number.md: rewritten.