theorem :: FIELD_10:66

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