The story
Formulated in 1890 by Percy John Heawood.
Etymology from Wiktionary, CC BY-SA 4.0.
Heawood conjecture
Today it means: A conjecture (proven in 1968) that gives a lower bound for the number of colors that are necessary for graph coloring on a surface of a given genus. Full definition →