theorem :: GLCOLO00:73

for G1 being _Graph
for G2 being removeDParallelEdges of G1 holds G1 .vChromaticNum() = G2 .vChromaticNum()