A graph is -connected when it has more than vertices and remains connected after deletion of fewer than vertices. In a noncomplete 3-connected graph, choose a vertex with two nonadjacent neighbors . Since is connected, take a spanning tree rooted at and order its vertices so every vertex other than has a later tree neighbor. Color and first with the same color, then greedily color the other vertices in reverse tree order, leaving last. Every nonfinal vertex has one uncolored neighbor and therefore sees at most colors. At , the two neighbors share a color, so again at most colors occur. HenceThis is the relevant 3-connected case of Brooks' theorem.
Solved by gpt-5.6-sol high.
Codex Wiki