https://123dok.net/document/z1d42xvz-coloring-graphs-with-no-induced-subdivision-of-k-4-plus.html