theorem Th103: :: GLCOLO00:103

for G1, G2 being _Graph
for c being Cardinal st G1 == G2 & G1 is c -ecolorable holds
G2 is c -ecolorable