for R, S, T being Ring st R,S are_isomorphic & S,T are_isomorphic holds
R,T are_isomorphic