Lemma.
The set of
arithmetic functions
f
with
f
(
1
)
≠
0
form an abelian group with operation
∗
.