for S being vertex-disjoint GraphUnionSet
for G being GraphUnion of S st G is connected holds
ex H being _Graph st S = {H}