The famous four-color theorem states that one can color the

The famous four-color theorem states that one can color the vertices of any planar graph (so that adjacent vertices get different colors) with at most four colors. It had been conjectured for a long time and was eventually proved in 1976 by Appel and Haken. Can you color the complete graph K5 with four colors? Does the result contradict the four-color theorem?

PROBLEM SET 23.3: