let S be R -isomorphic Ring; :: thesis: S is R -monomorphic
( the Isomorphism of R,S is additive & the Isomorphism of R,S is multiplicative & the Isomorphism of R,S is unity-preserving & the Isomorphism of R,S is monomorphism ) ;
hence S is R -monomorphic ; :: thesis: verum