To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
Definition: (A famous mathematical statement with a long history) For every planar graph, four colors suffice to color its vertices in such a way that adjacent vertices have different colors. [d] [e]
