theorem Ysplit: :: FIELD_10:53

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