theorem Th71: :: RING_3:72

for R, S being Ring holds
( S is b₁ -monomorphic Ring iff S includes R )