theorem :: GLIB_015:35

for G1, G2 being _Graph holds
( {G1},{G2} are_isomorphic iff G2 is G1 -isomorphic )