theorem :: FIELD_10:64

Roots ((FAdj (F_Rat,{3-Root(2)})),X^3-2) = {3-Root(2)}