../../Task/Proper-divisors/Ada