theorem :: FIELD_10:29

FAdj (F_Rat,{zeta}) = FAdj (F_Rat,{sqrt(-3)})