theorem :: GLIB_014:24

for G, H being _Graph holds
( G is GraphUnion of {H} iff G == H )