theorem :: FIELD_10:41

Roots X^3-1 = {1}