Formal Book

39 Five-coloring plane graphs

Theorem 39.1

All planar graphs G can be 5-colored:

χ(G)5.
Proof