Can you elaborate? How does this result become less surprising if you know that? Personally I would not have guessed that there are infinitely many characterisations of P involving sums-of-powers-of-divisors either.
It's not surprising you can do exactly the same thing in more complex ways... but we're talking about infinitely many independent characterisations of P here.
