theorem :: FIELD_9:45

Z/ 2 is SplittingField of X^2+X