theorem 2split: :: FIELD_10:37

FAdj (F_Rat,{2-Root(2)}) is SplittingField of X^2-2