Let and .

The functions areweakly multiplicativemeaning whenever .

This means it remains to prove for all primes and positive integers .

.

This if of course true using the identity, .

If is not a square then among its factors for any we can find a mate so that . Thus, we get . If is a square we need to modify the proof a little bit.(2)

This is Mine 95th Post!!!