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{\pmod {p-1}}\,}~ thì ~{\displaystyle \forall a\in \mathbb {Z} :\quad a^{m}\equiv a^{n}{\pmod {p}}.}~

Nghịch đảo modulo:

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