theorem :: FIELD_9:43
Z/ 2 is SplittingField of X^2