Lemma 1.4. The space of arithmetic functions with operations $+$, $\ast$ is a commutative ring.