Let R = Z/2Z and d = X3 + X + 1. Then the residue class a of X in R[X] satisfies
Indeed, X7 - 1 = d · (X4 + X2 + X + 1) in R[X]. So