theorem Th102: :: GLCOLO00:102

for G being _Graph
for c being Cardinal
for H being Subgraph of G st G is c -ecolorable holds
H is c -ecolorable