>>36
x^1000 = (x^4 -1)R(x) + a (x^3 + x^2 +x+1) + Q(x)

は、x^1000 を (x^4 -1) で割るという割り算だから。