let S be Subring of R; :: thesis: S is n -characteristic
Char R = n by Def6;
hence S is n -characteristic by Th88; :: thesis: verum