R is Subring of RAdj (R,T) by RAsub;
hence RAdj (R,T) is R -extending by FIELD_4:def 1; :: thesis: verum