R is Subring of S by FIELD_4:def 1;
then 0. S = 0. R by C0SP1:def 3;
hence 0. S is R -membered by FIELD_7:def 5; :: thesis: verum