theorem Th63: :: GLCOLO00:63

for G being loopless _Graph
for H being Subgraph of G holds H .vChromaticNum() c= G .vChromaticNum()