Salut,
Si on accepte d'utiliser le théorème fondamental de l'arithmétique, alors ça "plie" l'exercice en quelques lignes :
Si

et

sont deux entiers quelconques (que l'on écrit avec
les même 
premiers distincts dans les deux décompositions, quitte à prendre des exposants nuls) alors il est évident que

divise

ssi

pour tout

.
Ca signifie que les diviseurs de

sont très exactement les

où

pour tout

(ce qui montre en particulier qu'il y en a
(\lambda_2\!+\!1)...(\lambda_k\!+\!1))
)
On peut effectivement en déduire que si

et

sont premier entre eux alors tout les diviseurs du produit

s'écrivent de façon unique comme le produit d'un diviseur de

et d'un diviseur de

, mais en fait c'est plus vraiment utile vu qu'on peut aussi directement calculer la somme des diviseurs de

:
=\sum_{d|n}d=\!\!\!\!\!\sum_{\mu_i\in\{0..\lambda_i\}}\!\!\!\!\!\!\!p_1^{\mu_1}p_2^{\mu_2}...p_k^{\mu_k}=\Big(\!\sum_{\mu_1=0}^{\lambda_1}\!p_1^{\mu_1}\Big)\Big(\!\sum_{\mu_2=0}^{\lambda_2}\!p_2^{\mu_2}\Big)...\Big(\!\sum_{\mu_k=0}^{\lambda_k}\!p_k^{\mu_k}\Big)<br />=\dfrac{p_1^{\lambda_1+1}\!-\!1}{p_1\!-\!1}\!\times\!\dfrac{p_2^{\lambda_2+1}\!-\!1}{p_2\!-\!1}\!\times\!...\!\times\!\dfrac{p_k^{\lambda_k+1}\!-\!1}{p_k\!-\!1})
Ce qui montre clairement que
\!=\!\sigma(n)\sigma(n'))
lorsque

et

sont premier entre eux (vu que ce ne sont pas les mêmes nombres premiers qui apparaissent dans les deux décompositions)
Bref, ça me semble plus intéressant de chercher une preuve
sans utiliser le théorème fondamental.