Pearls In Graph Theory Solution Manual 【5000+ SAFE】

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