Legyen $n$ prímtényezős felbontása $p_1^{{\alpha }_1}{p}_2^{{\alpha }_2}\text{...}{p}_t^{{\alpha }_t}$. Jelölje $r_1$, $r_2$, $\text{...}$, $r_m$ azokat az $n$-nél kisebb pozitív egész számokat, amelyek $n$-hez relatív prímek. Mutassuk meg, hogy