The story
Named after German mathematician Herbert Grötzsch, who published a proof in 1959.
Etymology from Wiktionary, CC BY-SA 4.0.
Grötzsch's theorem
Today it means: The statement that every triangle-free planar graph has a coloring using only three colors. Full definition →