sum of all proper divisors of a natural number