Can we color the vertices of a planar graph with four colors such that no two adjacent vertices have the same color?

Pearls In Graph Theory Solution Manual May 2026

Can we color the vertices of a planar graph with four colors such that no two adjacent vertices have the same color?