Александр V
In the 1980s, Alexander V. Kostochka and Andrew Thomason both independently proved that every graph with no formula_4-minors has average degree formula_5 and can thus be colored using formula_5 colors.