theorem :: FIELD_10:62

Roots X^3-2 = {}