theorem :: FIELD_9:44

Z/ 2 is SplittingField of X^2+1