 The theorem follows because is (commutative and) associative, and , where is the identity function for the Dirichlet convolution, taking values , for all .Thus

Let

so that

is its transform.The transforms are related by means of series