The number of prime factors is, at most, log2(n), so there is little
donwside to producing them all at once.
Update power_set() to support yielding only proper subsets
Add proper_divisors() to numerology module
Improved solution to problem 12 using insight from proper_divisors()