令 。
令 。模 时，余式为 。分别考察 、、，只剩 。最后 ，所以 确实成立。 (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