theorem Th62: :: GLIB_015:62

for S being vertex-disjoint GraphUnionSet
for G being GraphUnion of S
for H being Element of S holds H is inducedSubgraph of G,(the_Vertices_of H)