Theorem 4.4.2. The Four Color Theorem.

If \(G\) is a planar graph, then the chromatic number of \(G\) is less than or equal to 4. Thus any map can be properly colored with 4 or fewer colors.

in-context