theorem Th71: :: RING_3:72
for R, S being Ring holds
( S is b1 -monomorphic Ring iff S includes R )