theorem Th70: :: RING_3:71

for R being Ring
for S being Subring of R holds R is S -monomorphic