Diyelim ki $n\in \mathbb{Z}^{+}$ sayısının asal çarpanlarına ayrılmış hali $$n=p_1^{e_1}\dots p_r^{e_r}$$ olsun. $A_i$ kümesini $\{m\mid m=1,2,\dots,n\ \&\ p_i| m\}$ olarak tanımlayalım. Diğer bir deyişle, $A_i$ kümesi $p_i$ asalı tarafından bölünen $1,2,\dots,n$ elemanlarından oluşsun. Gösteriniz ki, $$|A_i|=n/p_i$$ eşitliği sağlanır. Dahası birbirinden farklı $i$ ve $j$ indisleri için, $$|A_i\cap A_j|=n/p_ip_j$$ eşitliği sağlanır. Tabii ki bunu genelleştirmek mümkün.
Bunu kullanarak, $n$ sayısından küçük olup $n$ ile aralarında asal olan pozitif tamsayıların sayısının $$\phi(n):=n\bigg(1-\frac{1}{p_1}\bigg)\dots\bigg(1-\frac{1}{p_r}\bigg)$$ olduğu sonucu çıkarın.