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