The five color theorem, which has a short elementary proof, states that five colors suffice to color a map and was proven in the late 19th century (Heawood 1890); however, proving that four colors suffice turned out to be significantly harder.
Το θεώρημα των πέντε χρωμάτων, το οποίο έχει μια μικρή απόδειξη σε αρχικό στάδιο, δηλώνει ότι πέντε χρώματα αρκούν για να χρωματίσουν έναν χάρτη, και είχε αποδειχθεί στα τέλη του 19ου αιώνα (Heawood 1890)∙ ωστόσο, η απόδειξη του αξιώματος ότι τέσσερα χρώματα αρκούν, αποδείχθηκε να είναι ιδιαίτερα δυσκολότερη.