for G, H, I being Group st G,H are_isomorphic & H,I are_isomorphic holds
G,I are_isomorphic