theorem :: FIELD_10:17

X^3-1 = (X- (1. F_Rat)) * X^2+X+1 by lemX3;