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.