1Note that H is also a random isomorphic copy of G1 under the assumption that G1~
=G2.