a 与 b 模 n 同余写为
$$a \equiv b (mod n) $$ 意思是，a - b 的结果能够被 n 整除。或者也可以想成 a/n 和 b/n 有相同的余数（这样 a - b 就能够被 n 整除了）
所以 Fermat’s Little Theorem 可以表示为：
$$a^n \equiv a (mod n) $$ 即 $\frac{a^n}{n}$ 的余数与 $\frac{a}{n}$ 的余数相等则 n 是素数。因为在定理中 $a < n$ ，所以只需要判断 $\frac{a^n}{n}$ 的余数与 a 相等来判断 n 是否是素数。
只要理解了这一点，1.2.6 节就没有问题了。