theorem :: FIELD_10:75

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