theorem :: FIELD_10:33

Roots X^2-2 = {} ;