Mình xin được phép đề cập đến 2 tính chất thường gặp
1/ $C_{p}^{k} \space \vdots \space p \Leftrightarrow p$ là số nguyên tố
2/ $a \equiv b \mod{p^n} \Leftrightarrow a^p \equiv b^p \mod{p^{n+1}} $
P/s: nếu sử tính chất 2 thì bài toán : $a^p-b^p \space \vdots \space p \Rightarrow a^p-b^p \space \vdots \space p^2$ không khó