theorem Xsplit: :: FIELD_10:52

FAdj (F_Rat,{zeta}) is SplittingField of X^2+X+1