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