theorem :: FIELD_10:51

X^3-1 = ((X- (1. F_Complex)) * (X- zeta)) * (X- (zeta ^2))