nat.proper_divisors source