( R is Subring of S & S is Subring of S ) by LIOUVIL2:18, FIELD_4:def 1;
hence RingAdjunction (R,T) is strict Subring of S by RAsub2; :: thesis: verum