theorem :: GLIB_010:96

for G1 being _Graph
for G2 being b₁ -Disomorphic _Graph holds G1 is G2 -Disomorphic