21: proper divisors, cycle detection