card (Roots ((FAdj ((Z/ 2),{alpha})),X^2+X+1)) = 2 by lemZ2roots, lemalph, CARD_2:57;