He's talking about the https://en.wikipedia.org/wiki/Robertson–Seymour_theorem.