全文默认\(p\)为素数。用\(a,b\)代表任意整数，用\(x,y\)代表不是\(p\)的倍数的整数。Lemma0Part1直接的因式分解\[\begin{aligned}&a^n-b^n\\=&(a-b)\sum\limits_{i=0}^{n-1}a^ib^{n-1-i}\end{aligned}\]Part2凑\(a-b\)专用\[\begin{aligne