theorem :: FIELD_9:52

FAdj ((Z/ 2),{alpha}) is SplittingField of X^2+X+1