Is this the sum of divisors function?
The sum of divisors function is multiplicative for relatively prime integers. We will consider any common prime factor (p) of a and b. Suppose that completely divides and completely divides .
You want to prove that
However, finding the sum of divisors of a prime power is easy (just a geometric series).
And you can go on from there.