theorem ff: :: FIELD_10:79

sqrt 2 is not Element of (FAdj (F_Rat,{3-CRoot(2),zeta}))