theorem baszeta: :: FIELD_10:73

{1,zeta} is Basis of (VecSp ((FAdj (F_Rat,{3-CRoot(2),zeta})),(FAdj (F_Rat,{3-CRoot(2)}))))