Grötzsch's theorem

English

A 3-coloring of a triangle-free planar graph

Etymology

Named after German mathematician Herbert Grötzsch, who published a proof in 1959.

Proper noun

Grötzsch's theorem

1. (graph theory) The statement that every triangle-free planar graph has a coloring using only three colors.