Lemma. Multiplicative arithmetic functions form an abelian group with $\ast$. Moreover, for completely multiplicative $f$, the Dirichlet inverse is $\mu f$.