。
と置く。 を法とすると余りは である。、、 を調べると だけが残る。実際、 なので は成立する。 (5,3)(5,3)(5,3) k=m−nk=m-nk=m−n k=nk=nk=n k=n−1k=n-1k=n−1 k≤n−2k\le n-2k≤n−2 n=3,k=2n=3,k=2n=3,k=2 x5+x−1=(x2−x+1)(x3+x2−1)x^5+x-1=(x^2-x+1)(x^3+x^2-1)x5+x−1=(x2−x+1)(x3+x2−1) xk−xk+2+x−1x^k-x^{k+2}+x-1xk−xk+2+x−1