theorem Th41: :: GLCOLO00:41

for G1 being _Graph
for c being Cardinal
for G2 being removeDParallelEdges of G1 holds
( G1 is c -vcolorable iff G2 is c -vcolorable )