theorem :: FIELD_10:31

deg ((FAdj (F_Rat,{2-Root(2)})),F_Rat) = 2 by LL, mp, FIELD_6:67;