theorem pz2: :: FIELD_9:36

{ p where p is quadratic Polynomial of (Z/ 2) : verum } = {X^2,X^2+1,X^2+X,X^2+X+1}