F is Subfield of FAdj (F,T) by FAsub;
then F is Subring of FAdj (F,T) by RING_3:43;
hence FAdj (F,T) is F -extending by FIELD_4:def 1; :: thesis: verum