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