K_6 minors in large 6-connected graphs

Ken-ichi Kawarabayashi, Serguei Norine, Robin Thomas +1

Jorgensen conjectured that every 6-connected graph with no K_6 minor has a vertex whose deletion makes the graph planar. We prove the conjecture for all sufficiently large graphs.