Martin Rolek: Graphs with no K 9 = minor are 10-colorable. J. Graph Theory 93(4): 560-565 (2020)