比如m=4时,假设x₁, x₂, x₃, x₄四个整数两两互素,而且其中任意两个, 三个或四个相加都不是方幂数
先找出n=2⁴-4-1=11个素数2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31
列11个同余方程x₁+x₂≡2(mod 4)
x₁+x₃≡3(mod 9)
x₁+x₄≡5(mod 25)
x₂+x₃≡7(mod 49)
x₂+x₄≡11(mod 121)
x₃+x₄≡13(mod 169)
x₁+x₂+x₃≡17(mod 289)
x₁+x₂+x₄≡19(mod 361)
x₁+x₃+x₄≡23(mod 529)
x₂+x₃+x₄≡29(mod 841)
x₁+x₂+x₃+x₄≡31(mod 961)
最后一个的解可以是x₁≡1, x₂≡-1, x₃≡1, x₄≡30(mod 961)
倒数第二个的解可以是x₂≡1, x₃≡1, x₄≡27(mod 841)
其它方程同理可以解出来,由中国剩余定理这11个同余方程有公共的解,最后再从这些解里面找出一组不是方幂数而且两两互素的就可以了