let T be S -monomorphic Ring; :: thesis: T is R -monomorphic
the Monomorphism of S,T * the Monomorphism of R,S is monomorphism ;
hence T is R -monomorphic ; :: thesis: verum