Every planar graph has a vertex of degree at most .
If every vertex has degree at least , then which contradicts Lemma 13.6. ∎
Using the above lemma and induction, one can prove that a planar graph is -colorable. But we can do better with a little more arguments.
Every planar graph is -colorable.
The theorem is trivially true for graphs with at most vertices. By induction, we assume that the theorem holds for all graphs with at most vertices.
Let be a planar graph with vertices. By Lemma 13.10, there is a vertex of degree at most . Choose the same.
CASE 1 : If , then by induction is -colorable and we can assign a color not assigned to any of its (at most ) neighbours.
CASE 2 : Suppose . Let . Since is not planar, cannot form a complete graph and hence WLOG, assume that . Construct a new planar graph by contracting the edge and denoting the new vertex by . Further construct a planar graph by contracting the edge and denoting the new vertex . Since has vertices and is planar, it is -colorable.
To construct a -coloring on : Assign the same colors as in to all vertices in except . Further assign the color of to and . Now, has been colored using only colors and so assign the th color to . ∎