>>670
x(x+1)∈F_2[x]