theorem Th88: :: RING_3:89

for R being Ring
for S being Subring of R holds Char S = Char R