Cm cho bổ đề này:Người ta có bổ đề như thế này:
Với $ p \in P$ và $a_1;a_2;..;a_n$ là các số tự nhiên thì
$(a_1+a_2+...+a_n)^p \equiv a_1^p+a_2^p+...+a_n^p $ (mod p)
- Với $n = 1$: hiển nhiên.
- Với $n = 2$:
Ta có: $(a_1 + a_2)^{p} = a_1^{p} + C_p^{p}a_1^{p - 1}a_2 + ... + C_p^{p - 1}a_1a_2^{p - 1} + a_2^{p} \equiv a_1^{p} + a_2^{p} (mod p)$
vì $C_p^{a} \vdots p$ với $a = 1, 2, ..., p - 1$
Giả sử ta có: $(a_1 + a_2 + ... + a_n)^{p} \equiv a_1^{p} + a_2^{p} + ... + a_n^{p} (mod p)$
Khi đó: $(a_1 + a_2 + ... + a_{n + 1})^{p} = [(a_1 + a_2 + ... + a_n) + a_{n + 1}]^{p} \equiv (a_1 + a_2 + ... + a_n)^{p} + a_{n + 1}^{p} (mod p) \equiv a_1^{p} + a_2^{p} + ... + a_{n + 1}^{p} (mod p)$
$\Rightarrow$ đpcm.