theorem nnn: :: FIELD_10:38

3-Root(2) is not Element of (FAdj (F_Rat,{2-Root(2)}))