theorem :: FIELD_9:45
Z/ 2 is SplittingField of X^2+X