Cho S = $a_1^{k_1}$ x $a_2^{k_2}$ x ... x $a_n^{k_n}$ ($a_i$ là các số nguyên tố).

Yêu cầu tính tích các ước của S.

Định lý nhỏ Fermat:

Một dạng tổng quát của định lý này là: nếu p là số nguyên tố và m và n là các số nguyên dương thỏa mãn
${\displaystyle m\equiv n(\mathrm{mod}p-1)}$ thì ${\displaystyle \mathrm{\forall }a\in \mathbb{Z}:a^m\equiv a^n(\mathrm{mod}p).}$

Nghịch đảo modulo:

• $(a^{-1}=\frac{1}{a})$