let T be S -homomorphic Ring; :: thesis: T is R -homomorphic
set f = the Homomorphism of R,S;
set g = the Homomorphism of S,T;
the Homomorphism of S,T * the Homomorphism of R,S is Homomorphism of R,T ;
hence T is R -homomorphic ; :: thesis: verum