theorem :: FIELD_10:60

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