Since is a simple graph, each face is bounded by at least three distinct edges. Consider the bipartite graph formed by the set of vertices representing the faces of and the set of vertices representing the edges of . Place an arc from to each time face is incident to edge . (This graph is called the face-edge incidence graph. Clearly, the number of arcs is (each edge belongs to two faces) and (each surface is composed of a least three edges). Thus:
If each vertex is the endpoint of at least 6 edges, then (for each edge we have two distinct vertices and for each vertices at least 6 neighbours) (vertex-edge incidence graph). Form Euler's formula:
which yields a contradiction.
We shall assume that this is true for all planar graphs or order , and we shall show that it is true for a planar graph or order .
From the first question, there exists a vertex with degree . We can colour the graph with the six colours , , , , , . The colour for vertex can be chosen without difficulty. In the worst case, and all the 5 vertices , , , , adjacent to all have different colours. In that case, we choose the 6th colour for .
Therefore, is 6-colourable.