The theorem is named after German mathematician Herbert Grötzsch, who published its proof in 1959.
In 2003, Carsten Thomassen[REF] derived an alternative proof from another related theorem: every planar graph with girth at least five is 3-list-colorable.