由X^n==nX(mod7) (因为模是素数)
X^4+3X^3-X^2+X+1==0(mod7)
变为4X+9X-2X+X+1==0(mod7)
即12X+1==0(mod7)
则X==4(mod7)