Es solo la distributividad de la suma de la multiplicación: supongamos que hay$n$ primes$p_1, p_2,\dots, p_n$ menos que$x$, y ordenemos el$m$ s con solo divisores primos en$\{p_1, p_2, \dots, p_n\}$ según el orden lexicográfico en$n$ - uples de exponentes$i_1$ de$p_1$,$i_2$ de$p_2$, & c. en la descomposición de poder principal de tales$m$ s.
En aras de la simplicidad, consideremos el caso cuando$n=2$. Entonces tenemos: \begin{align*}
\sum\frac1m=1&+\frac1{p_1}+\frac1{p_1^2}+\frac1{p_1^3}+\dotsm \\
&+\frac1{p_1p_2}+\frac1{p_1^2p_2}+\frac1{p_1^3p_2}+\dotsm\\
&+\frac1{p_1p_2^2}+\frac1{p_1^2p_2^2}+\frac1{p_1^3p_2^2}+\dotsm\\
&\ \ \vdots\\
&=\biggl(1+\frac1{p_1}+\frac1{p_1^2}+\frac1{p_1^3}+\dotsm\biggr)\biggl(1+\frac1{p_2}+\frac1{p_2^2}+\frac1{p_2^3}+\dotsm\biggr)
\end {align *}