theorem Th22: :: GLIB_014:22

for S being GraphUnionSet
for G being GraphUnion of S
for G9 being _Graph holds
( G9 is GraphUnion of S iff G == G9 )