theorem Th95: :: MATGRP_0:82

for R being Ring
for n being Nat
for S being Subring of R holds 1. (S,n) = 1. (R,n)