Proof. We define
. Then
because
By theorem 4.6,
so
For every positive integer
,
□
Note: For a more insightful proof, we show first the commutativity and associativity of the Dirichlet product
. Let
be arithmetic functions.
For all positive integer
,
(for simplicity, we write this sum
).
First,
so
.
Next
Using the commutativity of
and this result, where
is replaced by
, we obtain
Therefore
.
If we write
the function defined by
for all positive integer
, and
the function defined by
, then
,
and
, thus
This shows that for all positive integer
,