theorem Th55: :: GLIB_015:55

for S1, S2 being vertex-disjoint GraphUnionSet
for G1 being GraphUnion of S1
for G2 being GraphUnion of S2 st S1,S2 are_Disomorphic holds
G2 is G1 -Disomorphic