theorem 32split: :: FIELD_10:70

FAdj (F_Rat,{3-CRoot(2),zeta}) is SplittingField of X^3-2