https://9lib.org/document/zlgv2g56-fall-coloring-of-graphs-i.html