theorem Th138: :: GLCOLO00:138

for G being _Graph
for t being TColoring of G
for H being Subgraph of G holds [((t _V) | (the_Vertices_of H)),((t _E) | (the_Edges_of H))] is TColoring of H