theorem Th68: :: SCMYCIEL:68

for G, H being finitely_colorable SimpleGraph st G c= H holds
chromatic# G <= chromatic# H