theorem :: FIELD_2:4

for R being Ring
for S being b₁ -monomorphic Ring
for f being Monomorphism of R,S holds
( f " is one-to-one & f " is onto )