theorem :: FIELD_10:15

( zeta is CRoot of 3,1 & zeta ^2 is CRoot of 3,1 ) by lemCRo2;