若 $a$ 是一个整数，$p$ 是一个质数，那么 1. 如果 $p|a$，那么 $a^p\equiv a(mod\; p)$ 2. 如果 $p\nmid a$，那么 $a^{p-1}\equiv 1(mod\; p)$
