Dacă d1,d2,…,dk sunt toți divizorii naturali ai unui număr n, atunci {d1,d2,…,dk}={d1n,d2n,…,dkn}. Din egalitatea celor două mulțimi rezultă relația (d1⋅d2⋅…⋅dk)2=nk.
Fie e1,e2,…,ek și f1,f2,…,fk toți divizorii naturali ai numărului a, respectiv b. Atunci:
(e1⋅e2⋅…⋅ek)2=ak(f1⋅f2⋅…⋅fk)2=bk}⇒ak=bk⇒a=b.