for S being vertex-disjoint GraphUnionSet
for G being GraphUnion of S
for W being Walk of G ex H being Element of S st W is Walk of H