theorem ns2: :: FIELD_10:56

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